Update demo graph HTML

static/mythril.html

@@ -93,18 +93,18 @@
 var edges = [
 {from: 0, to: 87, 'arrows': 'to', 'label': 'Not(ULE(4, calldatasize))', 'smooth': {'type': 'cubicBezier'}},
 {from: 398, to: 111, 'arrows': 'to', 'label': '', 'smooth': {'type': 'cubicBezier'}},
-{from: 277, to: 398, 'arrows': 'to', 'label': 'False', 'smooth': {'type': 'cubicBezier'}},
+{from: 277, to: 398, 'arrows': 'to', 'label': 'Not(retval_384_736 == 0)', 'smooth': {'type': 'cubicBezier'}},
 {from: 200, to: 277, 'arrows': 'to', 'label': 'Not(storage_sha_hash == 0)', 'smooth': {'type': 'cubicBezier'}},
 {from: 103, to: 200, 'arrows': 'to', 'label': '', 'smooth': {'type': 'cubicBezier'}},
 {from: 92, to: 103, 'arrows': 'to', 'label': 'callvalue == 0', 'smooth': {'type': 'cubicBezier'}},
-{from: 0, to: 92, 'arrows': 'to', 'label': 'Extract(0xff, 0xe0, calldata_0) == 0x3ccfd60b', 'smooth': {'type': 'cubicBezier'}},
+{from: 0, to: 92, 'arrows': 'to', 'label': 'Extract0xff,0xe0, calldata_0) ==0x3ccfd60b', 'smooth': {'type': 'cubicBezier'}},
 {from: 468, to: 168, 'arrows': 'to', 'label': '', 'smooth': {'type': 'cubicBezier'}},
 {from: 124, to: 468, 'arrows': 'to', 'label': '', 'smooth': {'type': 'cubicBezier'}},
 {from: 113, to: 124, 'arrows': 'to', 'label': 'callvalue == 0', 'smooth': {'type': 'cubicBezier'}},
-{from: 0, to: 113, 'arrows': 'to', 'label': 'Extract(0xff, 0xe0, calldata_0) == 0xf8b2cb4f', 'smooth': {'type': 'cubicBezier'}},
+{from: 0, to: 113, 'arrows': 'to', 'label': 'Extract0xff,0xe0, calldata_0) ==0xf8b2cb4f', 'smooth': {'type': 'cubicBezier'}},
 {from: 540, to: 198, 'arrows': 'to', 'label': '', 'smooth': {'type': 'cubicBezier'}},
 {from: 190, to: 540, 'arrows': 'to', 'label': '', 'smooth': {'type': 'cubicBezier'}},
-{from: 0, to: 190, 'arrows': 'to', 'label': 'Extract(0xff, 0xe0, calldata_0) == 0xfcddd056', 'smooth': {'type': 'cubicBezier'}}
+{from: 0, to: 190, 'arrows': 'to', 'label': 'Extract0xff,0xe0, calldata_0) ==0xfcddd056', 'smooth': {'type': 'cubicBezier'}}
 ];
 
   </script>