content: Main [Contract (Constructor (AlexPn 15 1 16) "A" constructor(int256 x, uint256[2][3] y, uint256[2] z) [] [] (Creates []) [] []) [],Contract (Constructor (AlexPn 88 5 16) "B" constructor() [] [] (Creates [AssignVal (StorageVar (AlexPn 127 9 5) A "a") (ECreate (AlexPn 139 9 17) "A" [IntLit (AlexPn 141 9 19) (-1),EArray (AlexPn 145 9 23) [EArray (AlexPn 147 9 25) [IntLit (AlexPn 148 9 26) 1,IntLit (AlexPn 150 9 28) 2],EArray (AlexPn 154 9 32) [IntLit (AlexPn 155 9 33) 3,IntLit (AlexPn 157 9 35) 4],EArray (AlexPn 161 9 39) [IntLit (AlexPn 162 9 40) 5,IntLit (AlexPn 164 9 42) 6]],EArray (AlexPn 170 9 48) [IntLit (AlexPn 171 9 49) 0,IntLit (AlexPn 173 9 51) 0]]),AssignVal (StorageVar (AlexPn 190 10 14) uint256[2][2] "arr") (EArray (AlexPn 197 10 21) [EArray (AlexPn 198 10 22) [IntLit (AlexPn 199 10 23) 0,IntLit (AlexPn 201 10 25) 0],EArray (AlexPn 204 10 28) [IntLit (AlexPn 205 10 29) 0,IntLit (AlexPn 207 10 31) 0]]),AssignVal (StorageVar (AlexPn 224 11 14) uint256[2][1] "y") (EArray (AlexPn 229 11 19) [EArray (AlexPn 230 11 20) [IntLit (AlexPn 231 11 21) 0,IntLit (AlexPn 233 11 23) 0]])]) [] []) [Transition (AlexPn 238 13 1) "f" "B" f() [] [] (Branches [Case (AlexPn 0 0 0) (BoolLit (AlexPn 0 0 0) True) (Post [Update (EVar (AlexPn 280 17 3) "a") (ECreate (AlexPn 292 17 15) "A" [IntLit (AlexPn 294 17 17) 2,EArray (AlexPn 297 17 20) [EArray (AlexPn 299 17 22) [IntLit (AlexPn 300 17 23) 1,IntLit (AlexPn 302 17 25) 2],EArray (AlexPn 306 17 29) [IntLit (AlexPn 307 17 30) 3,IntLit (AlexPn 309 17 32) 4],EArray (AlexPn 313 17 36) [IntLit (AlexPn 314 17 37) 5,IntLit (AlexPn 316 17 39) 6]],EUTEntry (EIndexed (AlexPn 323 17 46) (EVar (AlexPn 322 17 45) "y") [IntLit (AlexPn 324 17 47) 0])])] Nothing)]) []]]
  