remove_unsigned_from_comparison
int remove_unsigned_from_comparison(int op);
if (!comparison_intersection(remove_unsigned_from_comparison(state_op), op))
one = remove_unsigned_from_comparison(one);
two = remove_unsigned_from_comparison(two);
left_compare = remove_unsigned_from_comparison(left_compare);
right_compare = remove_unsigned_from_comparison(right_compare);
left_compare = remove_unsigned_from_comparison(left_compare);
right_compare = remove_unsigned_from_comparison(right_compare);
add_constraint(&constraints, remove_unsigned_from_comparison(op), constraint_id);
comparison = remove_unsigned_from_comparison(condition->op);