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() [] [] (Branches [Case (AlexPn 0 0 0) (BoolLit (AlexPn 0 0 0) True) (Post [Update (EIndexed (AlexPn 296 18 4) (EVar (AlexPn 295 18 3) "y") [IntLit (AlexPn 297 18 5) 0]) (EArray (AlexPn 303 18 11) [EArray (AlexPn 305 18 13) [IntLit (AlexPn 306 18 14) 1,IntLit (AlexPn 308 18 16) 2,IntLit (AlexPn 310 18 18) 3],EArray (AlexPn 314 18 22) [IntLit (AlexPn 315 18 23) 4,IntLit (AlexPn 317 18 25) 5,IntLit (AlexPn 319 18 27) 6]]),Update (EIndexed (AlexPn 327 19 4) (EVar (AlexPn 326 19 3) "y") [IntLit (AlexPn 328 19 5) 1,IntLit (AlexPn 331 19 8) 0]) (EArray (AlexPn 337 19 14) [IntLit (AlexPn 338 19 15) 7,IntLit (AlexPn 340 19 17) 8,EAdd (AlexPn 352 19 29) (EUTEntry (EIndexed (AlexPn 343 19 20) (EVar (AlexPn 342 19 19) "y") [IntLit (AlexPn 344 19 21) 1,IntLit (AlexPn 347 19 24) 0,IntLit (AlexPn 350 19 27) 2])) (IntLit (AlexPn 353 19 30) 1)])] Nothing)]) [EGEQ (AlexPn 428 22 64) (EPostEntry (EIndexed (AlexPn 373 22 9) (EVar (AlexPn 372 22 8) "y") [EITE (AlexPn 375 22 11) (ENeq (AlexPn 388 22 24) (EPreEntry (EIndexed (AlexPn 383 22 19) (EVar (AlexPn 382 22 18) "y") [IntLit (AlexPn 384 22 20) 1])) (EPostEntry (EIndexed (AlexPn 398 22 34) (EVar (AlexPn 397 22 33) "y") [IntLit (AlexPn 399 22 35) 1]))) (IntLit (AlexPn 408 22 44) 0) (IntLit (AlexPn 415 22 51) 100),IntLit (AlexPn 421 22 57) 0,IntLit (AlexPn 424 22 60) 0])) (IntLit (AlexPn 431 22 67) 0)]]]
  