Traceback (most recent call last):


 "/usr/local/lib/python3.6/dist-packages/manticore/core/worker.py", line 132, in run

current_state.execute()


 "/usr/local/lib/python3.6/dist-packages/manticore/ethereum/state.py", line 8, in execute

return self._platform.execute()


 "/usr/local/lib/python3.6/dist-packages/manticore/platforms/evm.py", line 3097, in execute

self.current_vm.execute()


 "/usr/local/lib/python3.6/dist-packages/manticore/platforms/evm.py", line 1316, in execute

last_pc, last_gas, instruction, arguments, fee, allocated = self._checkpoint()


 "/usr/local/lib/python3.6/dist-packages/manticore/platforms/evm.py", line 1191, in _checkpoint

"will_evm_execute_instruction", self.instruction, self._top_arguments()


 "/usr/local/lib/python3.6/dist-packages/manticore/utils/event.py", line 148, in _publish

self._publish_impl(_name, *args, **kwargs)


 "/usr/local/lib/python3.6/dist-packages/manticore/utils/event.py", line 175, in _publish_impl

sink._publish_impl(_name, *args, **kwargs)


 "/usr/local/lib/python3.6/dist-packages/manticore/utils/event.py", line 175, in _publish_impl

sink._publish_impl(_name, *args, **kwargs)


 "/usr/local/lib/python3.6/dist-packages/manticore/utils/event.py", line 173, in _publish_impl

sink._publish_impl(_name, self, *args, **kwargs)


 "/usr/local/lib/python3.6/dist-packages/manticore/utils/event.py", line 166, in _publish_impl

callback(robj(), *new_args, **kwargs)


 "/usr/local/lib/python3.6/dist-packages/manticore/core/plugin.py", line 25, in g

return f(self, *args, **kwargs)


 "/usr/local/lib/python3.6/dist-packages/manticore/ethereum/detectors.py", line 171, in will_evm_execute_instruction_callback

constraint=AND(msg_sender == dest_address, sent_value != 0),
NameError: name 'AND' is not defined

Traceback (most recent call last):


 "/home/zach/.local/share/virtualenvs/PostHocExplainerEvaluation-d73ZRPVE/lib/python3.8/site-packages/IPython/core/interactiveshell.py", line 3418, in run_code

exec(code_obj, self.user_global_ns, self.user_ns)


 "<ipython-input-6-bb4de631a81f>", line 6, in <module>

next(stats.sample(U, interval.contains(U)))


 "/home/zach/.local/share/virtualenvs/PostHocExplainerEvaluation-d73ZRPVE/lib/python3.8/site-packages/sympy/stats/rv.py", line 1220, in return_generator

gd = given_fn(*args)


 "<lambdifygenerated-10>", line 4, in _lambdifygenerated

logical_and.reduce((greater(U, 0),Contains(U, Interval(-1, 1)))))
NameError: name 'Contains' is not defined
