new inference: reduce additional constraints order fixed

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/newLambda/AdditionalConstraintsReduceOrder.java

@@ -0,0 +1,14 @@
+import java.util.List;
+import java.util.function.BinaryOperator;
+import java.util.function.Function;
+
+public class FooBar<K> {
+  void foo(List<K > s) {}
+  <T, U> List<T> bar(BinaryOperator<U> kk, Function<T, U> f){
+    return null;
+  }
+
+  void f(FooBar<Integer> integerFooBar){
+    integerFooBar.foo(bar((a, b) -> a + b, x -> 1));
+  }
+}