content: Main [Contract (Constructor (AlexPn 15 1 16) "A" constructor() [] [] (Creates [AssignVal (StorageVar (AlexPn 64 6 14) uint256[2][2] "x") (EArray (AlexPn 69 6 19) [EArray (AlexPn 70 6 20) [IntLit (AlexPn 71 6 21) 1,IntLit (AlexPn 74 6 24) 2],EArray (AlexPn 77 6 27) [IntLit (AlexPn 78 6 28) 3,IntLit (AlexPn 81 6 31) 4]])]) [] []) [Transition (AlexPn 86 8 1) "f" "A" f(uint256[2] a) [] [EEq (AlexPn 135 12 5) (EUTEntry (EVar (AlexPn 133 12 3) "x")) (EArray (AlexPn 138 12 8) [EArray (AlexPn 139 12 9) [IntLit (AlexPn 140 12 10) 1,IntLit (AlexPn 143 12 13) 2],EArray (AlexPn 146 12 16) [IntLit (AlexPn 147 12 17) 3,IntLit (AlexPn 150 12 20) 4]]),EEq (AlexPn 158 13 5) (EUTEntry (EVar (AlexPn 156 13 3) "a")) (EArray (AlexPn 161 13 8) [IntLit (AlexPn 162 13 9) 1,IntLit (AlexPn 164 13 11) 2])] (Branches [Case (AlexPn 0 0 0) (BoolLit (AlexPn 0 0 0) True) (Post [Update (EIndexed (AlexPn 180 17 4) (EVar (AlexPn 179 17 3) "x") [IntLit (AlexPn 181 17 5) 0,IntLit (AlexPn 184 17 8) 0]) (IntLit (AlexPn 190 17 14) 3),Update (EIndexed (AlexPn 195 18 4) (EVar (AlexPn 194 18 3) "x") [IntLit (AlexPn 196 18 5) 0,IntLit (AlexPn 199 18 8) 1]) (IntLit (AlexPn 205 18 14) 2),Update (EIndexed (AlexPn 210 19 4) (EVar (AlexPn 209 19 3) "x") [IntLit (AlexPn 211 19 5) 1,IntLit (AlexPn 214 19 8) 0]) (IntLit (AlexPn 220 19 14) 1),Update (EIndexed (AlexPn 225 20 4) (EVar (AlexPn 224 20 3) "x") [IntLit (AlexPn 226 20 5) 1,IntLit (AlexPn 229 20 8) 1]) (IntLit (AlexPn 235 20 14) 0)] Nothing)]) [EEq (AlexPn 256 23 11) (EPostEntry (EVar (AlexPn 253 23 8) "x")) (EITE (AlexPn 260 23 15) (EEq (AlexPn 270 23 25) (EPreEntry (EVar (AlexPn 267 23 22) "x")) (EArray (AlexPn 273 23 28) [EUTEntry (EVar (AlexPn 274 23 29) "a"),EArray (AlexPn 276 23 31) [IntLit (AlexPn 277 23 32) 3,IntLit (AlexPn 279 23 34) 4]])) (EArray (AlexPn 288 23 43) [EArray (AlexPn 289 23 44) [IntLit (AlexPn 290 23 45) 3,IntLit (AlexPn 292 23 47) 2],EArray (AlexPn 295 23 50) [IntLit (AlexPn 296 23 51) 1,IntLit (AlexPn 298 23 53) 0]]) (EArray (AlexPn 307 23 62) [EArray (AlexPn 308 23 63) [IntLit (AlexPn 309 23 64) 0,IntLit (AlexPn 311 23 66) 0],EArray (AlexPn 314 23 69) [IntLit (AlexPn 315 23 70) 0,IntLit (AlexPn 317 23 72) 0]]))]]]
  