content: Main [Contract (Constructor (AlexPn 15 1 16) "A" constructor() [] [] (Creates [AssignVal (StorageVar (AlexPn 58 6 8) uint256 "y") (IntLit (AlexPn 63 6 13) 1),AssignVal (StorageVar (AlexPn 72 7 8) uint256 "yn") (IntLit (AlexPn 78 7 14) 2),AssignArray (StorageVar (AlexPn 90 8 11) uint256[3] "z") [IntLit (AlexPn 96 8 17) 11,IntLit (AlexPn 99 8 20) 22,IntLit (AlexPn 102 8 23) 33]]) [] []) [Transition (AlexPn 107 10 1) "f" "A" f(int256[2] xs) [] [EAnd (AlexPn 166 15 14) (ELEQ (AlexPn 157 15 5) (IntLit (AlexPn 155 15 3) 1) (EUTEntry (EIndexed (AlexPn 162 15 10) (EVar (AlexPn 160 15 8) "xs") [IntLit (AlexPn 163 15 11) 1]))) (ELT (AlexPn 176 15 24) (EUTEntry (EIndexed (AlexPn 172 15 20) (EVar (AlexPn 170 15 18) "xs") [IntLit (AlexPn 173 15 21) 1])) (IntLit (AlexPn 178 15 26) 4))] (Branches [Case (AlexPn 181 17 1) (ELT (AlexPn 188 17 8) (EUTEntry (EVar (AlexPn 186 17 6) "y")) (IntLit (AlexPn 190 17 10) 3)) (Post [] (Just (EPostEntry (EIndexed (AlexPn 208 19 15) (EVar (AlexPn 207 19 14) "z") [EPreEntry (EVar (AlexPn 213 19 20) "y")])))),Case (AlexPn 220 22 1) (EAnd (AlexPn 244 22 25) (EAnd (AlexPn 233 22 14) (ELEQ (AlexPn 227 22 8) (EUTEntry (EVar (AlexPn 225 22 6) "y")) (IntLit (AlexPn 230 22 11) 10)) (ELEQ (AlexPn 239 22 20) (IntLit (AlexPn 237 22 18) 3) (EUTEntry (EVar (AlexPn 242 22 23) "y")))) (ELT (AlexPn 251 22 32) (EUTEntry (EVar (AlexPn 248 22 29) "yn")) (ESub (AlexPn 255 22 36) (EUTEntry (EVar (AlexPn 253 22 34) "y")) (IntLit (AlexPn 257 22 38) 7)))) (Post [] (Just (EPostEntry (EIndexed (AlexPn 275 24 15) (EVar (AlexPn 274 24 14) "z") [EPreEntry (EVar (AlexPn 280 24 20) "yn")])))),Case (AlexPn 288 27 1) (EGT (AlexPn 295 27 8) (EUTEntry (EVar (AlexPn 293 27 6) "y")) (IntLit (AlexPn 297 27 10) 10)) (Post [] (Just (EPostEntry (EIndexed (AlexPn 316 29 15) (EVar (AlexPn 315 29 14) "z") [ESub (AlexPn 323 29 22) (EUTEntry (EIndexed (AlexPn 319 29 18) (EVar (AlexPn 317 29 16) "xs") [IntLit (AlexPn 320 29 19) 1])) (IntLit (AlexPn 325 29 24) 1)])))),Case (AlexPn 331 32 1) (EAnd (AlexPn 355 32 25) (EAnd (AlexPn 344 32 14) (ELEQ (AlexPn 338 32 8) (EUTEntry (EVar (AlexPn 336 32 6) "y")) (IntLit (AlexPn 341 32 11) 10)) (ELEQ (AlexPn 350 32 20) (IntLit (AlexPn 348 32 18) 3) (EUTEntry (EVar (AlexPn 353 32 23) "y")))) (EGEQ (AlexPn 362 32 32) (EUTEntry (EVar (AlexPn 359 32 29) "yn")) (ESub (AlexPn 367 32 37) (EUTEntry (EVar (AlexPn 365 32 35) "y")) (IntLit (AlexPn 369 32 39) 7)))) (Post [] (Just (EPostEntry (EIndexed (AlexPn 387 34 15) (EVar (AlexPn 386 34 14) "z") [EDiv (AlexPn 394 34 22) (EUTEntry (EIndexed (AlexPn 390 34 18) (EVar (AlexPn 388 34 16) "xs") [IntLit (AlexPn 391 34 19) 1])) (IntLit (AlexPn 396 34 24) 2)]))))]) []]]
  