content: Main [Contract (Constructor (AlexPn 15 1 16) "A" constructor() [] [] (Creates [AssignVal (StorageVar (AlexPn 61 6 11) uint256[3] "x") (EArray (AlexPn 66 6 16) [IntLit (AlexPn 67 6 17) 1,IntLit (AlexPn 70 6 20) 2,IntLit (AlexPn 73 6 23) 3])]) [] []) [Transition (AlexPn 77 8 1) "f" "A" f() [] [EEq (AlexPn 117 12 5) (EUTEntry (EVar (AlexPn 115 12 3) "x")) (EArray (AlexPn 120 12 8) [IntLit (AlexPn 121 12 9) 1,IntLit (AlexPn 123 12 11) 2,IntLit (AlexPn 125 12 13) 3])] (Branches [Case (AlexPn 0 0 0) (BoolLit (AlexPn 0 0 0) True) (Post [Update (EIndexed (AlexPn 141 16 4) (EVar (AlexPn 140 16 3) "x") [IntLit (AlexPn 142 16 5) 0]) (IntLit (AlexPn 148 16 11) 3),Update (EIndexed (AlexPn 153 17 4) (EVar (AlexPn 152 17 3) "x") [IntLit (AlexPn 154 17 5) 1]) (IntLit (AlexPn 160 17 11) 2),Update (EIndexed (AlexPn 165 18 4) (EVar (AlexPn 164 18 3) "x") [IntLit (AlexPn 166 18 5) 2]) (IntLit (AlexPn 172 18 11) 1)] Nothing)]) [EEq (AlexPn 193 21 11) (EPostEntry (EVar (AlexPn 190 21 8) "x")) (EITE (AlexPn 197 21 15) (EEq (AlexPn 207 21 25) (EPreEntry (EVar (AlexPn 204 21 22) "x")) (EArray (AlexPn 210 21 28) [IntLit (AlexPn 211 21 29) 1,IntLit (AlexPn 213 21 31) 2,IntLit (AlexPn 215 21 33) 3])) (EArray (AlexPn 223 21 41) [IntLit (AlexPn 224 21 42) 3,IntLit (AlexPn 226 21 44) 2,IntLit (AlexPn 228 21 46) 1]) (EArray (AlexPn 236 21 54) [IntLit (AlexPn 237 21 55) 0,IntLit (AlexPn 239 21 57) 0,IntLit (AlexPn 241 21 59) 0]))]]]
  