content: Main [Contract (Constructor (AlexPn 15 1 16) "A" constructor() [] [] (Creates [AssignVal (StorageVar (AlexPn 58 6 8) uint256 "x") (IntLit (AlexPn 63 6 13) 0),AssignVal (StorageVar (AlexPn 72 7 8) uint256 "y") (IntLit (AlexPn 77 7 13) 0),AssignVal (StorageVar (AlexPn 86 8 8) uint256 "w") (IntLit (AlexPn 91 8 13) 0),AssignVal (StorageVar (AlexPn 100 9 8) uint256 "z") (IntLit (AlexPn 105 9 13) 0),AssignArray (StorageVar (AlexPn 120 10 14) uint256[3][3] "arr1") [[IntLit (AlexPn 130 10 24) 0,IntLit (AlexPn 132 10 26) 0,IntLit (AlexPn 134 10 28) 0],[IntLit (AlexPn 138 10 32) 0,IntLit (AlexPn 140 10 34) 0,IntLit (AlexPn 142 10 36) 0],[IntLit (AlexPn 146 10 40) 0,IntLit (AlexPn 148 10 42) 0,IntLit (AlexPn 150 10 44) 0]]]) [] []) [Transition (AlexPn 155 12 1) "f" "A" f(uint256 a, uint256 b) [] [ENeq (AlexPn 210 17 5) (EUTEntry (EVar (AlexPn 208 17 3) "x")) (EUTEntry (EVar (AlexPn 214 17 9) "y")),ENeq (AlexPn 220 18 5) (EUTEntry (EVar (AlexPn 218 18 3) "x")) (EUTEntry (EVar (AlexPn 224 18 9) "a")),ENeq (AlexPn 230 19 5) (EUTEntry (EVar (AlexPn 228 19 3) "x")) (EUTEntry (EVar (AlexPn 234 19 9) "b")),ENeq (AlexPn 240 20 5) (EUTEntry (EVar (AlexPn 238 20 3) "y")) (EUTEntry (EVar (AlexPn 244 20 9) "a")),ENeq (AlexPn 250 21 5) (EUTEntry (EVar (AlexPn 248 21 3) "y")) (EUTEntry (EVar (AlexPn 254 21 9) "b")),ENeq (AlexPn 260 22 5) (EUTEntry (EVar (AlexPn 258 22 3) "a")) (EUTEntry (EVar (AlexPn 264 22 9) "b")),ELT (AlexPn 271 24 5) (EUTEntry (EVar (AlexPn 269 24 3) "x")) (IntLit (AlexPn 273 24 7) 3),ELT (AlexPn 279 25 5) (EUTEntry (EVar (AlexPn 277 25 3) "y")) (IntLit (AlexPn 281 25 7) 3),ELT (AlexPn 287 26 5) (EUTEntry (EVar (AlexPn 285 26 3) "a")) (IntLit (AlexPn 289 26 7) 3),ELT (AlexPn 295 27 5) (EUTEntry (EVar (AlexPn 293 27 3) "b")) (IntLit (AlexPn 297 27 7) 3)] (Branches [Case (AlexPn 0 0 0) (BoolLit (AlexPn 0 0 0) True) (Post [Update (EIndexed (AlexPn 315 31 7) (EVar (AlexPn 311 31 3) "arr1") [EUTEntry (EVar (AlexPn 316 31 8) "x"),EUTEntry (EVar (AlexPn 319 31 11) "y")]) (IntLit (AlexPn 325 31 17) 1),Update (EIndexed (AlexPn 333 32 7) (EVar (AlexPn 329 32 3) "arr1") [EUTEntry (EVar (AlexPn 334 32 8) "y"),EUTEntry (EVar (AlexPn 337 32 11) "x")]) (IntLit (AlexPn 343 32 17) 2),Update (EIndexed (AlexPn 351 33 7) (EVar (AlexPn 347 33 3) "arr1") [EUTEntry (EVar (AlexPn 352 33 8) "a"),EUTEntry (EVar (AlexPn 355 33 11) "b")]) (IntLit (AlexPn 361 33 17) 1),Update (EIndexed (AlexPn 369 34 7) (EVar (AlexPn 365 34 3) "arr1") [EUTEntry (EVar (AlexPn 370 34 8) "b"),EUTEntry (EVar (AlexPn 373 34 11) "a")]) (IntLit (AlexPn 379 34 17) 2)] Nothing)]) []]]
  