def run(self):
        try:
            self.runner.run()
        except Exception, e:
            self.handle_exception(e)
Returns True if t is Eq(x,x) for some x
dataset/ETHPy150Open joonty/vdebug/plugin/python/start_vdebug.py/DebuggerInterface.run--crossover with--dataset/ETHPy150Open Microsoft/ivy/ivy/logic_util.py/is_tautology_equality