add_constraint
add_constraint(&ret, tmp->op, tmp->id);
add_constraint(&constraints, remove_unsigned_from_comparison(op), constraint_id);
add_constraint(&list, op, id);
add_constraint(&ret, tmp->op, tmp->id);
add_constraint(&ret, tmp->op, tmp->id);