Generic constraint simplification