def METHOD_NAME(self):
    expr = self.bvs[0] == 1.0
    self.assertEqual(str(self.transform(expr)), "[bv[0]]")
    expr = cp.AllDifferent(self.ivs) == 4.2
    self.assertEqual(str(self.transform(expr)), '[boolval(False)]')
    expr = 0.0 == cp.AllDifferent(self.ivs)
    self.assertEqual(str(self.transform(expr)), '[not([alldifferent(iv[0],iv[1],iv[2])])]')
    expr = (self.ivs[0] <= self.ivs[1]) < 0.8
    self.assertEqual(str(self.transform(expr)), '[(iv[0]) > (iv[1])]')
    expr = (self.ivs[0] == self.ivs[1]) == 1.0
    self.assertEqual(str(self.transform(expr)), '[(iv[0]) == (iv[1])]')