content: Main [Contract (Constructor (AlexPn 15 1 16) "C" constructor() [] [] (Creates [AssignVal (StorageVar (AlexPn 58 5 9) uint256 "x") (IntLit (AlexPn 63 5 14) 0)]) [] []) [Transition (AlexPn 67 7 1) "bar" "C" bar(uint256 z) [] [EInRange (AlexPn 116 11 4) int256 (EAdd (AlexPn 134 11 22) (EUTEntry (EVar (AlexPn 132 11 20) "z")) (IntLit (AlexPn 136 11 24) 1)),EInRange (AlexPn 142 12 4) int256 (EAdd (AlexPn 160 12 22) (EUTEntry (EVar (AlexPn 158 12 20) "z")) (IntLit (AlexPn 162 12 24) 2)),EEq (AlexPn 178 13 14) (EnvExp (AlexPn 168 13 4) Callvalue) (IntLit (AlexPn 181 13 17) 0)] (Branches [Case (AlexPn 184 15 1) (EEq (AlexPn 191 15 8) (EUTEntry (EVar (AlexPn 189 15 6) "z")) (IntLit (AlexPn 194 15 11) 0)) (Post [Update (EVar (AlexPn 208 18 3) "x") (EUTEntry (EVar (AlexPn 213 18 8) "z"))] Nothing),Case (AlexPn 216 20 1) (EEq (AlexPn 223 20 8) (EUTEntry (EVar (AlexPn 221 20 6) "z")) (IntLit (AlexPn 226 20 11) 1)) (Post [Update (EVar (AlexPn 240 23 3) "x") (EAdd (AlexPn 247 23 10) (EUTEntry (EVar (AlexPn 245 23 8) "z")) (IntLit (AlexPn 249 23 12) 1))] Nothing),Case (AlexPn 252 25 1) (EGT (AlexPn 259 25 8) (EUTEntry (EVar (AlexPn 257 25 6) "z")) (IntLit (AlexPn 261 25 10) 1)) (Post [Update (EVar (AlexPn 275 28 3) "x") (EAdd (AlexPn 282 28 10) (EUTEntry (EVar (AlexPn 280 28 8) "z")) (IntLit (AlexPn 284 28 12) 2))] Nothing)]) []]]
  