diff --git a/tests/testdata/outputs_expected_laser_result/constructor_assert.sol.json b/tests/testdata/outputs_expected_laser_result/constructor_assert.sol.json
new file mode 100644
index 00000000..94cfd175
--- /dev/null
+++ b/tests/testdata/outputs_expected_laser_result/constructor_assert.sol.json
@@ -0,0 +1,472 @@
+{
+    "accounts": {
+        "0x0000000000000000000000000000000000000000": {
+            "storage": "<mythril.laser.ethereum.state.Storage object at 0x7f18fbbcab70>",
+            "nonce": 0,
+            "balance": "balance",
+            "code": [
+                {
+                    "address": 0,
+                    "argument": "0x80",
+                    "opcode": "PUSH1"
+                },
+                {
+                    "address": 2,
+                    "argument": "0x40",
+                    "opcode": "PUSH1"
+                },
+                {
+                    "address": 4,
+                    "opcode": "MSTORE"
+                },
+                {
+                    "address": 5,
+                    "argument": "0x00",
+                    "opcode": "PUSH1"
+                },
+                {
+                    "address": 7,
+                    "opcode": "DUP1"
+                },
+                {
+                    "address": 8,
+                    "opcode": "REVERT"
+                },
+                {
+                    "address": 9,
+                    "opcode": "STOP"
+                }
+            ]
+        }
+    },
+    "total_states": 5,
+    "nodes": {
+        "933": {
+            "contract_name": "unknown",
+            "flags": "NodeFlags()",
+            "constraints": [],
+            "function_name": "unknown",
+            "start_addr": 0,
+            "uid": 933,
+            "states": [
+                {
+                    "accounts": "dict_keys(['0x0000000000000000000000000000000000000000'])",
+                    "mstate": {
+                        "gas": 10000000,
+                        "memory": [],
+                        "pc": 0,
+                        "memsize": 0,
+                        "stack": []
+                    },
+                    "environment": {
+                        "sender": "caller",
+                        "callvalue": "call_value",
+                        "origin": "origin",
+                        "active_account": "0x0000000000000000000000000000000000000000",
+                        "gasprice": "gas_price",
+                        "calldata": [],
+                        "calldata_type": "CalldataType.SYMBOLIC"
+                    }
+                },
+                {
+                    "accounts": "dict_keys(['0x0000000000000000000000000000000000000000'])",
+                    "mstate": {
+                        "gas": 10000000,
+                        "memory": [],
+                        "pc": 1,
+                        "memsize": 0,
+                        "stack": [
+                            "128"
+                        ]
+                    },
+                    "environment": {
+                        "sender": "caller",
+                        "callvalue": "call_value",
+                        "origin": "origin",
+                        "active_account": "0x0000000000000000000000000000000000000000",
+                        "gasprice": "gas_price",
+                        "calldata": [],
+                        "calldata_type": "CalldataType.SYMBOLIC"
+                    }
+                },
+                {
+                    "accounts": "dict_keys(['0x0000000000000000000000000000000000000000'])",
+                    "mstate": {
+                        "gas": 10000000,
+                        "memory": [],
+                        "pc": 2,
+                        "memsize": 0,
+                        "stack": [
+                            "128",
+                            "64"
+                        ]
+                    },
+                    "environment": {
+                        "sender": "caller",
+                        "callvalue": "call_value",
+                        "origin": "origin",
+                        "active_account": "0x0000000000000000000000000000000000000000",
+                        "gasprice": "gas_price",
+                        "calldata": [],
+                        "calldata_type": "CalldataType.SYMBOLIC"
+                    }
+                },
+                {
+                    "accounts": "dict_keys(['0x0000000000000000000000000000000000000000'])",
+                    "mstate": {
+                        "gas": 10000000,
+                        "memory": [
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            128
+                        ],
+                        "pc": 3,
+                        "memsize": 96,
+                        "stack": []
+                    },
+                    "environment": {
+                        "sender": "caller",
+                        "callvalue": "call_value",
+                        "origin": "origin",
+                        "active_account": "0x0000000000000000000000000000000000000000",
+                        "gasprice": "gas_price",
+                        "calldata": [],
+                        "calldata_type": "CalldataType.SYMBOLIC"
+                    }
+                },
+                {
+                    "accounts": "dict_keys(['0x0000000000000000000000000000000000000000'])",
+                    "mstate": {
+                        "gas": 10000000,
+                        "memory": [
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            128
+                        ],
+                        "pc": 4,
+                        "memsize": 96,
+                        "stack": [
+                            "0"
+                        ]
+                    },
+                    "environment": {
+                        "sender": "caller",
+                        "callvalue": "call_value",
+                        "origin": "origin",
+                        "active_account": "0x0000000000000000000000000000000000000000",
+                        "gasprice": "gas_price",
+                        "calldata": [],
+                        "calldata_type": "CalldataType.SYMBOLIC"
+                    }
+                },
+                {
+                    "accounts": "dict_keys(['0x0000000000000000000000000000000000000000'])",
+                    "mstate": {
+                        "gas": 10000000,
+                        "memory": [
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            0,
+                            128
+                        ],
+                        "pc": 5,
+                        "memsize": 96,
+                        "stack": [
+                            "0",
+                            "0"
+                        ]
+                    },
+                    "environment": {
+                        "sender": "caller",
+                        "callvalue": "call_value",
+                        "origin": "origin",
+                        "active_account": "0x0000000000000000000000000000000000000000",
+                        "gasprice": "gas_price",
+                        "calldata": [],
+                        "calldata_type": "CalldataType.SYMBOLIC"
+                    }
+                }
+            ]
+        }
+    },
+    "max_depth": 22,
+    "edges": []
+}