def METHOD_NAME(self):
    v1 = symexp('foo * bar > bar << baz')
    self.assertFalse(v1.isDiscrete())
    emu = MockEmulator(MockVw())
    emu.setSymVariable('foo', Const(5, emu.__width__))
    emu.setSymVariable('bar', Const(2, emu.__width__))
    emu.setSymVariable('baz', Const(6, emu.__width__))
    v1 = v1.update(emu)
    self.assertTrue(v1.isDiscrete(emu))
    self.assertTrue(v1.solve(emu) == 0)