in rules/rule.py [0:0]
def check_useless(self, pred):
for p in self.elems:
if pred.name != p.name:
continue
if p.op == ">":
if pred.op == ">" or pred.op == "=" or pred.op == "!=":
return True
if p.op == "<=":
if pred.op == "<=" or pred.op == "=" or pred.op == "!=":
return True
if p.op == "=":
return True
if p.op == "!=":
return True
return False