content: Main [Contract (Constructor (AlexPn 15 1 16) "A" constructor() [] [] (Creates [AssignVal (StorageVar (AlexPn 67 6 17) uint256[3][2][2] "x") (EArray (AlexPn 72 6 22) [EArray (AlexPn 74 6 24) [EArray (AlexPn 76 6 26) [IntLit (AlexPn 77 6 27) 0,IntLit (AlexPn 79 6 29) 0,IntLit (AlexPn 81 6 31) 0],EArray (AlexPn 85 6 35) [IntLit (AlexPn 86 6 36) 0,IntLit (AlexPn 88 6 38) 0,IntLit (AlexPn 90 6 40) 0]],EArray (AlexPn 96 6 46) [EArray (AlexPn 98 6 48) [IntLit (AlexPn 99 6 49) 0,IntLit (AlexPn 101 6 51) 0,IntLit (AlexPn 103 6 53) 0],EArray (AlexPn 107 6 57) [IntLit (AlexPn 108 6 58) 0,IntLit (AlexPn 110 6 60) 0,IntLit (AlexPn 112 6 62) 0]]])]) [] []) [Transition (AlexPn 120 8 1) "f" "A" f(uint256[3][2] a) [] [] (Branches [Case (AlexPn 0 0 0) (BoolLit (AlexPn 0 0 0) True) (Post [Update (EVar (AlexPn 175 13 3) "x") (EArray (AlexPn 180 13 8) [EUTEntry (EVar (AlexPn 181 13 9) "a"),EArray (AlexPn 184 13 12) [EArray (AlexPn 186 13 14) [IntLit (AlexPn 187 13 15) 0,IntLit (AlexPn 189 13 17) 0,IntLit (AlexPn 191 13 19) 0],EArray (AlexPn 195 13 23) [IntLit (AlexPn 196 13 24) 0,IntLit (AlexPn 198 13 26) 0,IntLit (AlexPn 200 13 28) 0]]])] Nothing)]) []]]
  