content: Main [Contract (Constructor (AlexPn 15 1 16) "A" constructor() [] [] (Creates [AssignVal (StorageVar (AlexPn 61 6 11) uint256[3] "x") (EArray (AlexPn 66 6 16) [IntLit (AlexPn 67 6 17) 1,IntLit (AlexPn 70 6 20) 2,IntLit (AlexPn 73 6 23) 3]),AssignVal (StorageVar (AlexPn 91 7 16) int256[3][2][3] "y") (EArray (AlexPn 96 7 21) [EArray (AlexPn 120 8 23) [EArray (AlexPn 122 8 25) [IntLit (AlexPn 123 8 26) 0,IntLit (AlexPn 125 8 28) 0,IntLit (AlexPn 127 8 30) 0],EArray (AlexPn 131 8 34) [IntLit (AlexPn 132 8 35) 0,IntLit (AlexPn 134 8 37) 0,IntLit (AlexPn 136 8 39) 0]],EArray (AlexPn 164 9 23) [EArray (AlexPn 166 9 25) [IntLit (AlexPn 167 9 26) 0,IntLit (AlexPn 169 9 28) 0,IntLit (AlexPn 171 9 30) 0],EArray (AlexPn 175 9 34) [IntLit (AlexPn 176 9 35) 0,IntLit (AlexPn 178 9 37) 0,IntLit (AlexPn 180 9 39) 0]],EArray (AlexPn 208 10 23) [EArray (AlexPn 210 10 25) [IntLit (AlexPn 211 10 26) 0,IntLit (AlexPn 213 10 28) 0,IntLit (AlexPn 215 10 30) 0],EArray (AlexPn 219 10 34) [IntLit (AlexPn 220 10 35) 0,IntLit (AlexPn 222 10 37) 0,IntLit (AlexPn 224 10 39) 0]]])]) [] []) [Transition (AlexPn 252 13 1) "f" "A" f() [] [EEq (AlexPn 298 17 11) (EUTEntry (EIndexed (AlexPn 291 17 4) (EVar (AlexPn 290 17 3) "y") [IntLit (AlexPn 292 17 5) 1,IntLit (AlexPn 295 17 8) 0])) (EArray (AlexPn 301 17 14) [IntLit (AlexPn 302 17 15) 1,IntLit (AlexPn 304 17 17) 2,IntLit (AlexPn 306 17 19) 3])] (Branches [Case (AlexPn 0 0 0) (BoolLit (AlexPn 0 0 0) True) (Post [Update (EIndexed (AlexPn 322 21 4) (EVar (AlexPn 321 21 3) "y") [IntLit (AlexPn 323 21 5) 0]) (EArray (AlexPn 329 21 11) [EArray (AlexPn 331 21 13) [IntLit (AlexPn 332 21 14) 1,IntLit (AlexPn 334 21 16) 2,IntLit (AlexPn 336 21 18) 3],EArray (AlexPn 340 21 22) [IntLit (AlexPn 341 21 23) 4,IntLit (AlexPn 343 21 25) 5,IntLit (AlexPn 345 21 27) 6]]),Update (EIndexed (AlexPn 353 22 4) (EVar (AlexPn 352 22 3) "y") [IntLit (AlexPn 354 22 5) 1,IntLit (AlexPn 357 22 8) 0]) (EArray (AlexPn 363 22 14) [IntLit (AlexPn 364 22 15) 7,IntLit (AlexPn 366 22 17) 8,IntLit (AlexPn 368 22 19) 9])] Nothing)]) [ENeq (AlexPn 399 26 19) (EPreEntry (EIndexed (AlexPn 388 26 8) (EVar (AlexPn 387 26 7) "y") [IntLit (AlexPn 389 26 9) 1,IntLit (AlexPn 392 26 12) 0,IntLit (AlexPn 395 26 15) 0])) (EPostEntry (EIndexed (AlexPn 409 26 29) (EVar (AlexPn 408 26 28) "y") [IntLit (AlexPn 410 26 30) 1,IntLit (AlexPn 413 26 33) 0,IntLit (AlexPn 416 26 36) 0]))]]]
  