new_simplification  287 src/PartitionLoops.cpp             new_simplification(op->b <= op->a, op, op->b, op->a);
new_simplification  289 src/PartitionLoops.cpp             new_simplification(op->a <= op->b, op, op->a, op->b);
new_simplification  299 src/PartitionLoops.cpp             new_simplification(op->b >= op->a, op, op->b, op->a);
new_simplification  301 src/PartitionLoops.cpp             new_simplification(op->a >= op->b, op, op->a, op->b);
new_simplification  311 src/PartitionLoops.cpp             new_simplification(op->condition, op, op->true_value, op->false_value);
new_simplification  313 src/PartitionLoops.cpp             new_simplification(!op->condition, op, op->false_value, op->true_value);
new_simplification  326 src/PartitionLoops.cpp             new_simplification(op->condition, op->condition, const_true(), const_false());