content: Main [Contract (Constructor (AlexPn 15 1 16) "Token" constructor(string _symbol, string _name, string _version, uint256 _totalSupply) [] [] (Creates [AssignVal (StorageVar (AlexPn 128 6 10) string "name") (EUTEntry (EVar (AlexPn 144 6 26) "_name")),AssignVal (StorageVar (AlexPn 159 7 10) string "symbol") (EUTEntry (EVar (AlexPn 175 7 26) "_symbol")),AssignVal (StorageVar (AlexPn 193 8 11) uint256 "totalSupply") (EUTEntry (EVar (AlexPn 208 8 26) "_totalSupply")),AssignMapping (StorageVar (AlexPn 248 9 28) mapping(address => uint256) "balanceOf") [Mapping (EnvExp (AlexPn 263 9 43) Caller) (EUTEntry (EVar (AlexPn 273 9 53) "_totalSupply"))],AssignMapping (StorageVar (AlexPn 330 10 44) mapping(address => mapping(address => uint256)) "allowance") []]) [] [EEq (AlexPn 373 14 15) (EUTEntry (EVar (AlexPn 361 14 3) "totalSupply")) (EUTEntry (EVar (AlexPn 376 14 18) "_totalSupply")),EEq (AlexPn 396 15 8) (EUTEntry (EVar (AlexPn 391 15 3) "name")) (EUTEntry (EVar (AlexPn 399 15 11) "_name")),EEq (AlexPn 414 16 10) (EUTEntry (EVar (AlexPn 407 16 3) "symbol")) (EUTEntry (EVar (AlexPn 417 16 13) "_symbol"))]) [Transition (AlexPn 427 19 1) "transfer" "Token" transfer(uint256 value, address to) [] [EEq (AlexPn 519 24 13) (EnvExp (AlexPn 509 24 3) Callvalue) (IntLit (AlexPn 522 24 16) 0),ELEQ (AlexPn 532 25 9) (EUTEntry (EVar (AlexPn 526 25 3) "value")) (EUTEntry (EIndexed (AlexPn 544 25 21) (EVar (AlexPn 535 25 12) "balanceOf") [EnvExp (AlexPn 545 25 22) Caller])),EImpl (AlexPn 569 26 17) (ENeq (AlexPn 562 26 10) (EnvExp (AlexPn 555 26 3) Caller) (EUTEntry (EVar (AlexPn 566 26 14) "to"))) (ELT (AlexPn 594 26 42) (EAdd (AlexPn 586 26 34) (EUTEntry (EIndexed (AlexPn 581 26 29) (EVar (AlexPn 572 26 20) "balanceOf") [EUTEntry (EVar (AlexPn 582 26 30) "to")])) (EUTEntry (EVar (AlexPn 588 26 36) "value"))) (EExp (AlexPn 597 26 45) (IntLit (AlexPn 596 26 44) 2) (IntLit (AlexPn 598 26 46) 256)))] (Branches [Case (AlexPn 603 28 1) (ENeq (AlexPn 615 28 13) (EnvExp (AlexPn 608 28 6) Caller) (EUTEntry (EVar (AlexPn 619 28 17) "to"))) (Post [Update (EIndexed (AlexPn 649 32 15) (EVar (AlexPn 640 32 6) "balanceOf") [EnvExp (AlexPn 650 32 16) Caller]) (ESub (AlexPn 679 32 45) (EUTEntry (EIndexed (AlexPn 670 32 36) (EVar (AlexPn 661 32 27) "balanceOf") [EnvExp (AlexPn 671 32 37) Caller])) (EUTEntry (EVar (AlexPn 681 32 47) "value"))),Update (EIndexed (AlexPn 701 33 15) (EVar (AlexPn 692 33 6) "balanceOf") [EUTEntry (EVar (AlexPn 702 33 16) "to")]) (EAdd (AlexPn 727 33 41) (EUTEntry (EIndexed (AlexPn 722 33 36) (EVar (AlexPn 713 33 27) "balanceOf") [EUTEntry (EVar (AlexPn 723 33 37) "to")])) (EUTEntry (EVar (AlexPn 729 33 43) "value")))] (Just (IntLit (AlexPn 746 35 11) 1))),Case (AlexPn 749 37 1) (EEq (AlexPn 761 37 13) (EnvExp (AlexPn 754 37 6) Caller) (EUTEntry (EVar (AlexPn 764 37 16) "to"))) (Post [] (Just (IntLit (AlexPn 779 39 11) 1)))]) [],Transition (AlexPn 783 42 1) "transferFrom" "Token" transferFrom(address src, address dst, uint256 amount) [] [ELEQ (AlexPn 892 47 10) (EUTEntry (EVar (AlexPn 885 47 3) "amount")) (EUTEntry (EIndexed (AlexPn 904 47 22) (EVar (AlexPn 895 47 13) "balanceOf") [EUTEntry (EVar (AlexPn 905 47 23) "src")])),EImpl (AlexPn 927 48 18) (ENeq (AlexPn 919 48 10) (EUTEntry (EVar (AlexPn 912 48 3) "src")) (EUTEntry (EVar (AlexPn 923 48 14) "dst"))) (ELT (AlexPn 954 48 45) (EAdd (AlexPn 945 48 36) (EUTEntry (EIndexed (AlexPn 939 48 30) (EVar (AlexPn 930 48 21) "balanceOf") [EUTEntry (EVar (AlexPn 940 48 31) "dst")])) (EUTEntry (EVar (AlexPn 947 48 38) "amount"))) (EExp (AlexPn 957 48 48) (IntLit (AlexPn 956 48 47) 2) (IntLit (AlexPn 958 48 49) 256))),EImpl (AlexPn 979 49 18) (ENeq (AlexPn 971 49 10) (EnvExp (AlexPn 964 49 3) Caller) (EUTEntry (EVar (AlexPn 975 49 14) "src"))) (ELEQ (AlexPn 984 49 23) (IntLit (AlexPn 982 49 21) 0) (ESub (AlexPn 1010 49 49) (EUTEntry (EIndexed (AlexPn 996 49 35) (EVar (AlexPn 987 49 26) "allowance") [EUTEntry (EVar (AlexPn 997 49 36) "src"),EnvExp (AlexPn 1002 49 41) Caller])) (EUTEntry (EVar (AlexPn 1012 49 51) "amount")))),EEq (AlexPn 1031 50 13) (EnvExp (AlexPn 1021 50 3) Callvalue) (IntLit (AlexPn 1034 50 16) 0)] (Branches [Case (AlexPn 1037 52 1) (EAnd (AlexPn 1054 52 18) (ENeq (AlexPn 1046 52 10) (EUTEntry (EVar (AlexPn 1042 52 6) "src")) (EUTEntry (EVar (AlexPn 1050 52 14) "dst"))) (EEq (AlexPn 1065 52 29) (EnvExp (AlexPn 1058 52 22) Caller) (EUTEntry (EVar (AlexPn 1068 52 32) "src")))) (Post [Update (EIndexed (AlexPn 1099 56 15) (EVar (AlexPn 1090 56 6) "balanceOf") [EUTEntry (EVar (AlexPn 1100 56 16) "src")]) (ESub (AlexPn 1123 56 39) (EUTEntry (EIndexed (AlexPn 1117 56 33) (EVar (AlexPn 1108 56 24) "balanceOf") [EUTEntry (EVar (AlexPn 1118 56 34) "src")])) (EUTEntry (EVar (AlexPn 1125 56 41) "amount"))),Update (EIndexed (AlexPn 1146 57 15) (EVar (AlexPn 1137 57 6) "balanceOf") [EUTEntry (EVar (AlexPn 1147 57 16) "dst")]) (EAdd (AlexPn 1170 57 39) (EUTEntry (EIndexed (AlexPn 1164 57 33) (EVar (AlexPn 1155 57 24) "balanceOf") [EUTEntry (EVar (AlexPn 1165 57 34) "dst")])) (EUTEntry (EVar (AlexPn 1172 57 41) "amount")))] (Just (IntLit (AlexPn 1190 59 11) 1))),Case (AlexPn 1193 61 1) (EAnd (AlexPn 1229 61 37) (EAnd (AlexPn 1210 61 18) (ENeq (AlexPn 1202 61 10) (EUTEntry (EVar (AlexPn 1198 61 6) "src")) (EUTEntry (EVar (AlexPn 1206 61 14) "dst"))) (ENeq (AlexPn 1221 61 29) (EnvExp (AlexPn 1214 61 22) Caller) (EUTEntry (EVar (AlexPn 1225 61 33) "src")))) (EEq (AlexPn 1256 61 64) (EUTEntry (EIndexed (AlexPn 1242 61 50) (EVar (AlexPn 1233 61 41) "allowance") [EUTEntry (EVar (AlexPn 1243 61 51) "src"),EnvExp (AlexPn 1248 61 56) Caller])) (ESub (AlexPn 1265 61 73) (EExp (AlexPn 1260 61 68) (IntLit (AlexPn 1259 61 67) 2) (IntLit (AlexPn 1261 61 69) 256)) (IntLit (AlexPn 1267 61 75) 1)))) (Post [Update (EIndexed (AlexPn 1296 65 15) (EVar (AlexPn 1287 65 6) "balanceOf") [EUTEntry (EVar (AlexPn 1297 65 16) "src")]) (ESub (AlexPn 1320 65 39) (EUTEntry (EIndexed (AlexPn 1314 65 33) (EVar (AlexPn 1305 65 24) "balanceOf") [EUTEntry (EVar (AlexPn 1315 65 34) "src")])) (EUTEntry (EVar (AlexPn 1322 65 41) "amount"))),Update (EIndexed (AlexPn 1343 66 15) (EVar (AlexPn 1334 66 6) "balanceOf") [EUTEntry (EVar (AlexPn 1344 66 16) "dst")]) (EAdd (AlexPn 1367 66 39) (EUTEntry (EIndexed (AlexPn 1361 66 33) (EVar (AlexPn 1352 66 24) "balanceOf") [EUTEntry (EVar (AlexPn 1362 66 34) "dst")])) (EUTEntry (EVar (AlexPn 1369 66 41) "amount")))] (Just (IntLit (AlexPn 1387 68 11) 1))),Case (AlexPn 1390 70 1) (EAnd (AlexPn 1426 70 37) (EAnd (AlexPn 1407 70 18) (ENeq (AlexPn 1399 70 10) (EUTEntry (EVar (AlexPn 1395 70 6) "src")) (EUTEntry (EVar (AlexPn 1403 70 14) "dst"))) (ENeq (AlexPn 1418 70 29) (EnvExp (AlexPn 1411 70 22) Caller) (EUTEntry (EVar (AlexPn 1422 70 33) "src")))) (ELT (AlexPn 1453 70 64) (EUTEntry (EIndexed (AlexPn 1439 70 50) (EVar (AlexPn 1430 70 41) "allowance") [EUTEntry (EVar (AlexPn 1440 70 51) "src"),EnvExp (AlexPn 1445 70 56) Caller])) (ESub (AlexPn 1461 70 72) (EExp (AlexPn 1456 70 67) (IntLit (AlexPn 1455 70 66) 2) (IntLit (AlexPn 1457 70 68) 256)) (IntLit (AlexPn 1463 70 74) 1)))) (Post [Update (EIndexed (AlexPn 1491 74 14) (EVar (AlexPn 1482 74 5) "allowance") [EUTEntry (EVar (AlexPn 1492 74 15) "src"),EnvExp (AlexPn 1497 74 20) Caller]) (ESub (AlexPn 1531 74 54) (EUTEntry (EIndexed (AlexPn 1517 74 40) (EVar (AlexPn 1508 74 31) "allowance") [EUTEntry (EVar (AlexPn 1518 74 41) "src"),EnvExp (AlexPn 1523 74 46) Caller])) (EUTEntry (EVar (AlexPn 1533 74 56) "amount"))),Update (EIndexed (AlexPn 1553 75 14) (EVar (AlexPn 1544 75 5) "balanceOf") [EUTEntry (EVar (AlexPn 1554 75 15) "src")]) (ESub (AlexPn 1585 75 46) (EUTEntry (EIndexed (AlexPn 1579 75 40) (EVar (AlexPn 1570 75 31) "balanceOf") [EUTEntry (EVar (AlexPn 1580 75 41) "src")])) (EUTEntry (EVar (AlexPn 1587 75 48) "amount"))),Update (EIndexed (AlexPn 1607 76 14) (EVar (AlexPn 1598 76 5) "balanceOf") [EUTEntry (EVar (AlexPn 1608 76 15) "dst")]) (EAdd (AlexPn 1639 76 46) (EUTEntry (EIndexed (AlexPn 1633 76 40) (EVar (AlexPn 1624 76 31) "balanceOf") [EUTEntry (EVar (AlexPn 1634 76 41) "dst")])) (EUTEntry (EVar (AlexPn 1641 76 48) "amount")))] (Just (IntLit (AlexPn 1659 78 11) 1))),Case (AlexPn 1662 80 1) (EEq (AlexPn 1671 80 10) (EUTEntry (EVar (AlexPn 1667 80 6) "src")) (EUTEntry (EVar (AlexPn 1674 80 13) "dst"))) (Post [] (Just (IntLit (AlexPn 1691 83 11) 1)))]) []]]
  