content: Main [Contract (Constructor (AlexPn 15 1 16) "A" constructor() [] [] (Creates [AssignVal (StorageVar (AlexPn 67 6 17) uint256[3][2][2] "x") (EArray (AlexPn 72 6 22) [EArray (AlexPn 74 6 24) [EArray (AlexPn 76 6 26) [IntLit (AlexPn 77 6 27) 0,IntLit (AlexPn 79 6 29) 0,IntLit (AlexPn 81 6 31) 0],EArray (AlexPn 85 6 35) [IntLit (AlexPn 86 6 36) 0,IntLit (AlexPn 88 6 38) 0,IntLit (AlexPn 90 6 40) 0]],EArray (AlexPn 96 6 46) [EArray (AlexPn 98 6 48) [IntLit (AlexPn 99 6 49) 0,IntLit (AlexPn 101 6 51) 0,IntLit (AlexPn 103 6 53) 0],EArray (AlexPn 107 6 57) [IntLit (AlexPn 108 6 58) 0,IntLit (AlexPn 110 6 60) 0,IntLit (AlexPn 112 6 62) 0]]]),AssignVal (StorageVar (AlexPn 138 7 20) uint256[3][2][2][1] "y") (EArray (AlexPn 143 7 25) [EArray (AlexPn 145 7 27) [EArray (AlexPn 147 7 29) [EArray (AlexPn 149 7 31) [IntLit (AlexPn 150 7 32) 0,IntLit (AlexPn 152 7 34) 0,IntLit (AlexPn 154 7 36) 0],EArray (AlexPn 158 7 40) [IntLit (AlexPn 159 7 41) 0,IntLit (AlexPn 161 7 43) 0,IntLit (AlexPn 163 7 45) 0]],EArray (AlexPn 169 7 51) [EArray (AlexPn 171 7 53) [IntLit (AlexPn 172 7 54) 0,IntLit (AlexPn 174 7 56) 0,IntLit (AlexPn 176 7 58) 0],EArray (AlexPn 180 7 62) [IntLit (AlexPn 181 7 63) 0,IntLit (AlexPn 183 7 65) 0,IntLit (AlexPn 185 7 67) 0]]]])]) [] []) [Transition (AlexPn 195 9 1) "f" "A" f() [] [] (Branches [Case (AlexPn 0 0 0) (BoolLit (AlexPn 0 0 0) True) (Post [Update (EIndexed (AlexPn 239 14 4) (EVar (AlexPn 238 14 3) "x") [IntLit (AlexPn 240 14 5) 1]) (EUTEntry (EIndexed (AlexPn 247 14 12) (EVar (AlexPn 246 14 11) "y") [IntLit (AlexPn 248 14 13) 0,IntLit (AlexPn 251 14 16) 1]))] Nothing)]) []]]
  