diff --git a/bin/mycompiler/myparser/JavaParser.jay b/bin/mycompiler/myparser/JavaParser.jay
index b86a9079a..ad207fae2 100755
--- a/bin/mycompiler/myparser/JavaParser.jay
+++ b/bin/mycompiler/myparser/JavaParser.jay
@@ -1371,7 +1371,7 @@ formalparameter     : 	type variabledeclaratorid
 				      	{
 							FormalParameter FP = new FormalParameter($2);
 							FP.setType($1);
-							//FP.set_DeclId($2);
+							//FP.set_DeclId($2); //auskommentiert von Andreas Stadelmeier. DeclId wird nun dem Konstruktor von FormalParameter übergeben.
 							$$=FP;
 					  	}
 
diff --git a/src/mycompiler/mybytecode/CONSTANT_Float_info.java b/src/mycompiler/mybytecode/CONSTANT_Float_info.java
index 8c1d8f393..7a442fdd4 100755
--- a/src/mycompiler/mybytecode/CONSTANT_Float_info.java
+++ b/src/mycompiler/mybytecode/CONSTANT_Float_info.java
@@ -2,7 +2,6 @@
 package mycompiler.mybytecode;
 // ino.end
 // ino.module.CONSTANT_Float_info.8536.import 
-import java.io.FileOutputStream;
 import java.io.IOException;
 // ino.end
 import java.io.OutputStream;
diff --git a/src/mycompiler/myclass/Field.java b/src/mycompiler/myclass/Field.java
index a39079209..6e8429a7b 100644
--- a/src/mycompiler/myclass/Field.java
+++ b/src/mycompiler/myclass/Field.java
@@ -6,10 +6,12 @@ import mycompiler.SyntaxTreeNode;
 import mycompiler.mybytecode.ClassFile;
 import mycompiler.myexception.JVMCodeException;
 import mycompiler.mytype.Type;
+import mycompiler.mytype.TypePlaceholder;
 import mycompiler.mytypereconstruction.replacementlistener.CReplaceTypeEvent;
 import typinferenz.ConstraintsSet;
 import typinferenz.JavaCodeResult;
 import typinferenz.ResultSet;
+import typinferenz.TypeInsertPoint;
 import typinferenz.Typeable;
 import typinferenz.TypeInsertable;
 import typinferenz.assumptions.TypeAssumptions;
@@ -95,4 +97,11 @@ public abstract class Field extends SyntaxTreeNode implements TypeInsertable, Ty
 	public String getDescription(){
 		return this.getIdentifier();
 	}
+	
+	@Override
+	public TypeInsertPoint createTypeInsertPoint(TypePlaceholder tph,
+			ResultSet resultSet) {
+		return new TypeInsertPoint(tph, this, resultSet.getTypeEqualTo(tph), resultSet);
+	}
+	
 }
diff --git a/src/mycompiler/myclass/FormalParameter.java b/src/mycompiler/myclass/FormalParameter.java
index 853356b7b..f8bd9bee9 100755
--- a/src/mycompiler/myclass/FormalParameter.java
+++ b/src/mycompiler/myclass/FormalParameter.java
@@ -23,9 +23,12 @@ import org.apache.log4j.Logger;
 
 
 
+
+
 import sun.reflect.generics.reflectiveObjects.NotImplementedException;
 import typinferenz.JavaCodeResult;
 import typinferenz.ResultSet;
+import typinferenz.TypeInsertPoint;
 import typinferenz.Typeable;
 import typinferenz.TypeInsertable;
 import typinferenz.exceptions.TypinferenzException;
@@ -240,5 +243,13 @@ public class FormalParameter extends SyntaxTreeNode implements ITypeReplacementL
 	}
 
 
+	@Override
+	public TypeInsertPoint createTypeInsertPoint(TypePlaceholder tph,
+			ResultSet resultSet) {
+		if(this.getOffset()<=0)return null;
+		return new TypeInsertPoint(tph, this, resultSet.getTypeEqualTo(tph), resultSet);
+	}
+
+
 }
 // ino.end
diff --git a/src/mycompiler/myclass/Method.java b/src/mycompiler/myclass/Method.java
index 7fa63b752..fc3df8327 100755
--- a/src/mycompiler/myclass/Method.java
+++ b/src/mycompiler/myclass/Method.java
@@ -36,6 +36,7 @@ import typinferenz.JavaCodeResult;
 import typinferenz.SingleConstraint;
 import typinferenz.ConstraintsSet;
 import typinferenz.ResultSet;
+import typinferenz.TypeInsertPoint;
 import typinferenz.TypeInsertable;
 import typinferenz.assumptions.MethodAssumption;
 import typinferenz.assumptions.ParameterAssumption;
@@ -710,6 +711,8 @@ public class Method extends Field implements IItemWithOffset, TypeInsertable
 		if(!this.parameterlist.equals(equals.parameterlist))return false;
 		return super.equals(obj);
 	}
+
+	
 	
 }
 // ino.end
diff --git a/src/mycompiler/myparser/JavaParser.java b/src/mycompiler/myparser/JavaParser.java
index 0e3365a35..fcee60fc9 100644
--- a/src/mycompiler/myparser/JavaParser.java
+++ b/src/mycompiler/myparser/JavaParser.java
@@ -1962,7 +1962,7 @@ case 149:
   {
 							FormalParameter FP = new FormalParameter(((DeclId)yyVals[0+yyTop]));
 							FP.setType(((Type)yyVals[-1+yyTop]));
-							/*FP.set_DeclId($2);*/
+							/*FP.set_DeclId($2); //auskommentiert von Andreas Stadelmeier. DeclId wird nun dem Konstruktor von FormalParameter übergeben.*/
 							yyVal=FP;
 					  	}
   break;
diff --git a/src/mycompiler/myparser/JavaParser.jay b/src/mycompiler/myparser/JavaParser.jay
index b86a9079a..ad207fae2 100755
--- a/src/mycompiler/myparser/JavaParser.jay
+++ b/src/mycompiler/myparser/JavaParser.jay
@@ -1371,7 +1371,7 @@ formalparameter     : 	type variabledeclaratorid
 				      	{
 							FormalParameter FP = new FormalParameter($2);
 							FP.setType($1);
-							//FP.set_DeclId($2);
+							//FP.set_DeclId($2); //auskommentiert von Andreas Stadelmeier. DeclId wird nun dem Konstruktor von FormalParameter übergeben.
 							$$=FP;
 					  	}
 
diff --git a/src/mycompiler/mytype/TypePlaceholder.java b/src/mycompiler/mytype/TypePlaceholder.java
index e68c75ae4..3dcf4fd68 100755
--- a/src/mycompiler/mytype/TypePlaceholder.java
+++ b/src/mycompiler/mytype/TypePlaceholder.java
@@ -527,7 +527,9 @@ public class TypePlaceholder extends Type implements IReplaceTypeEventProvider
 		TypeInsertSet ret = new TypeInsertSet();
 		for(ITypeReplacementListener ti : this.m_ReplacementListeners){
 			if(ti instanceof TypeInsertable){
-				ret.add(new TypeInsertPoint(this, (TypeInsertable)ti, result.getTypeEqualTo(this), result));
+				TypeInsertPoint toAdd = ((TypeInsertable) ti).createTypeInsertPoint(this, result);
+				if(toAdd != null)ret.add(toAdd);
+				//ret.add(new TypeInsertPoint(this, (TypeInsertable)ti, result.getTypeEqualTo(this), result));
 			}
 		}
 		return ret;
diff --git a/src/typinferenz/FunNMethod.java b/src/typinferenz/FunNMethod.java
index bfb707825..e57422a9e 100644
--- a/src/typinferenz/FunNMethod.java
+++ b/src/typinferenz/FunNMethod.java
@@ -6,7 +6,6 @@ import mycompiler.myclass.*;
 import mycompiler.mytype.TypePlaceholder;
 
 public class FunNMethod extends Method{
-
 	/**
 	 * 
 	 * @param N - Anzahl der Parameter (Beispiel: Fun2<R, T1, T2>)
@@ -14,6 +13,7 @@ public class FunNMethod extends Method{
 	public FunNMethod(int N){
 		super(0); //Hat keinen Offset, da nur theoretisch gedachte Methode
 		this.setType(TypePlaceholder.fresh(this));
+		this.set_DeclId(new DeclId("Fun"+N));
 		ParameterList pl = new ParameterList();
 		Vector<FormalParameter> fpList = new Vector<FormalParameter>();
 		for(int i = 0;i<N;i++){
@@ -27,4 +27,10 @@ public class FunNMethod extends Method{
 		this.parameterlist = pl;
 	}
 	
+	@Override
+	public TypeInsertPoint createTypeInsertPoint(TypePlaceholder tph,
+			ResultSet resultSet) {
+		return null;
+	}
+	
 }
diff --git a/src/typinferenz/TypeInsertPoint.java b/src/typinferenz/TypeInsertPoint.java
index 5c3ee19c6..61d8bcbd9 100644
--- a/src/typinferenz/TypeInsertPoint.java
+++ b/src/typinferenz/TypeInsertPoint.java
@@ -4,7 +4,7 @@ import mycompiler.mytype.*;
 import mycompiler.mytypereconstruction.replacementlistener.ITypeReplacementListener;
 
 
-public class TypeInsertPoint {
+public class TypeInsertPoint implements Comparable<TypeInsertPoint>{
 
 	private TypePlaceholder tph;
 	private TypeInsertable point;
@@ -70,4 +70,9 @@ public class TypeInsertPoint {
 		
 		return true;
 	}
+
+	@Override
+	public int compareTo(TypeInsertPoint arg0) {
+		return new Integer(this.getOffset()).compareTo(new Integer(arg0.getOffset()));
+	}
 }
diff --git a/src/typinferenz/TypeInsertSet.java b/src/typinferenz/TypeInsertSet.java
index db1c8866c..6509fa6d6 100644
--- a/src/typinferenz/TypeInsertSet.java
+++ b/src/typinferenz/TypeInsertSet.java
@@ -1,5 +1,6 @@
 package typinferenz;
 
+import java.util.Collections;
 import java.util.Vector;
 
 import mycompiler.SyntaxTreeNode;
@@ -33,6 +34,7 @@ public class TypeInsertSet {
 	public String insertAllTypes(String fileContent) {
 		int additionalOffset = 0;
 		String ret = fileContent;
+		Collections.sort(points);
 		for(TypeInsertPoint p : points){
 			ret = p.insertType(ret, additionalOffset);
 			additionalOffset += p.getInsertLength();
diff --git a/src/typinferenz/TypeInsertable.java b/src/typinferenz/TypeInsertable.java
index f3e9409a0..369d4c47d 100644
--- a/src/typinferenz/TypeInsertable.java
+++ b/src/typinferenz/TypeInsertable.java
@@ -1,5 +1,6 @@
 package typinferenz;
 
+import mycompiler.mytype.TypePlaceholder;
 import mycompiler.mytypereconstruction.replacementlistener.ITypeReplacementListener;
 
 public interface TypeInsertable extends ITypeReplacementListener, Typeable {
@@ -8,4 +9,13 @@ public interface TypeInsertable extends ITypeReplacementListener, Typeable {
 	public void setOffset(int offset);
 	public String getIdentifier();
 
+	/**
+	 * Errechnet den TypeInsertPoint für das TypeInsertable.
+	 * TypeInsertPoints sollten nur über diese Funktion erstellt werden.
+	 * @param tph
+	 * @param resultSet
+	 * @return - kann auch null zurückgeben.
+	 */
+	public TypeInsertPoint createTypeInsertPoint(TypePlaceholder tph, ResultSet resultSet);
+	
 }
diff --git a/test/mycompiler/test/lambda/testResults/LambdaTest.log b/test/mycompiler/test/lambda/testResults/LambdaTest.log
index 4ff499a22..a41d4ea9f 100644
--- a/test/mycompiler/test/lambda/testResults/LambdaTest.log
+++ b/test/mycompiler/test/lambda/testResults/LambdaTest.log
@@ -1,7 +1,7 @@
 Class           DEBUG [Typeinference] Erstellte Assumptions: this: MatrixMethod Assumptions:
 []
 FieldVar Assumptions:
-[typinferenz.assumptions.FieldAssumption@2c8df9a0, typinferenz.assumptions.FieldAssumption@1cff8e3a, typinferenz.assumptions.FieldAssumption@2c8df9a0, typinferenz.assumptions.FieldAssumption@1cff8e3a]
+[typinferenz.assumptions.FieldAssumption@2f79b905, typinferenz.assumptions.FieldAssumption@60620f9c, typinferenz.assumptions.FieldAssumption@2f79b905, typinferenz.assumptions.FieldAssumption@60620f9c]
 LocalVar Assumptions:
 []
 Parameter Assumptions:
@@ -9,27 +9,27 @@ Parameter Assumptions:
 
 Block           DEBUG [Typeinference] Prozessing statement: null Return null (( [  f, ]) -> null { [null Return null (f.apply( [ null (this(null)), m, ]))])
 Block           DEBUG [Typeinference] Prozessing statement: null Return null (f.apply( [ null (this(null)), m, ]))
-Block           DEBUG [Typeinference] Prozessing statement: TPH K Return TPH G (f: TPH E.apply( [ Matrix (this(null)), m: TPH C, ]))
-Block           DEBUG [Typeinference] Prozessing statement: TPH L Return TPH F (( [ TPH E f, ]) -> TPH K { [TPH K Return TPH G (f: TPH E.apply( [ Matrix (this(null)), m: TPH C, ]))])
-Class           DEBUG [Typeinference] Erstellte Constraints: TPH A < TPH A
-[[(TPH H <. TPH G), (Matrix <. TPH I), (TPH C <. TPH J), (TPH E <. Fun2< Matrix, TPH C >), ]| ]
-TPH G < TPH K
-Fun1< TPH K, TPH E > < TPH F
-TPH F < TPH L
-Fun1< TPH L, TPH C > < TPH D
-TPH D < TPH A
+Block           DEBUG [Typeinference] Prozessing statement: TPH BW Return TPH BS (f: TPH BQ.apply( [ Matrix (this(null)), m: TPH BO, ]))
+Block           DEBUG [Typeinference] Prozessing statement: TPH BX Return TPH BR (( [ TPH BQ f, ]) -> TPH BW { [TPH BW Return TPH BS (f: TPH BQ.apply( [ Matrix (this(null)), m: TPH BO, ]))])
+Class           DEBUG [Typeinference] Erstellte Constraints: TPH BM < TPH BM
+[[(TPH BT <. TPH BS), (Matrix <. TPH BU), (TPH BO <. TPH BV), (TPH BQ <. Fun2< Matrix, TPH BO >), ]| ]
+TPH BS < TPH BW
+Fun1< TPH BW, TPH BQ > < TPH BR
+TPH BR < TPH BX
+Fun1< TPH BX, TPH BO > < TPH BP
+TPH BP < TPH BM
 
-SourceFile      DEBUG [Typeinference] Karthesisches Produkt der Constraints: [[(TPH A <. TPH A), (TPH H <. TPH G), (Matrix <. TPH I), (TPH C <. TPH J), (TPH E <. Fun2< Matrix, TPH C >), (TPH G <. TPH K), (Fun1< TPH K, TPH E > <. TPH F), (TPH F <. TPH L), (Fun1< TPH L, TPH C > <. TPH D), (TPH D <. TPH A)]]
-SourceFile      DEBUG [Typeinference] Unifiziertes Ergebnis: [[(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)], [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)]]
+SourceFile      DEBUG [Typeinference] Karthesisches Produkt der Constraints: [[(TPH BM <. TPH BM), (TPH BT <. TPH BS), (Matrix <. TPH BU), (TPH BO <. TPH BV), (TPH BQ <. Fun2< Matrix, TPH BO >), (TPH BS <. TPH BW), (Fun1< TPH BW, TPH BQ > <. TPH BR), (TPH BR <. TPH BX), (Fun1< TPH BX, TPH BO > <. TPH BP), (TPH BP <. TPH BM)]]
+SourceFile      DEBUG [Typeinference] Unifiziertes Ergebnis: [[(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Matrix), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Matrix), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >), (TPH BU = Matrix), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Matrix), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Matrix), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Matrix), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Matrix), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Matrix), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >), (TPH BU = Matrix), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >), (TPH BU = Matrix), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Matrix), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >), (TPH BU = Vector< Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? super GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? super GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? super GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? super GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? super GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? super GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? super GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? super GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? super GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? super GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? super GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Matrix >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Matrix >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Matrix >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Matrix >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Matrix >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Matrix >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Matrix >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Matrix >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Matrix >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Matrix >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >)], [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Matrix >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >)]]
 SourceFile      DEBUG [Typeinference] 
 JavaFiles:
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Matrix), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, Fun2<Matrix, C>>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, Fun2<Matrix, BO>>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -38,12 +38,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Matrix), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -52,12 +52,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >), (TPH BU = Matrix), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -66,12 +66,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Matrix), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -80,12 +80,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Matrix), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -94,12 +94,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Matrix), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -108,12 +108,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Matrix), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -122,12 +122,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Matrix), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -136,12 +136,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >), (TPH BU = Matrix), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -150,12 +150,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >), (TPH BU = Matrix), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? super Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? super Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -164,12 +164,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Matrix), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Matrix), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? super Fun2< Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? super Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -178,12 +178,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, Fun2<Matrix, C>>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, Fun2<Matrix, BO>>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -192,12 +192,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -206,12 +206,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -220,12 +220,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -234,12 +234,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -248,12 +248,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -262,12 +262,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -276,12 +276,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -290,12 +290,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >), (TPH BU = Vector< Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -304,12 +304,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? super Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? super Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -318,12 +318,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? super Fun2< Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? super Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -332,12 +332,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, Fun2<Matrix, C>>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, Fun2<Matrix, BO>>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -346,12 +346,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -360,12 +360,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -374,12 +374,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -388,12 +388,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -402,12 +402,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -416,12 +416,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -430,12 +430,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -444,12 +444,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -458,12 +458,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? super Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? super Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -472,12 +472,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? super Fun2< Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? super Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -486,12 +486,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, Fun2<Matrix, C>>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, Fun2<Matrix, BO>>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -500,12 +500,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -514,12 +514,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -528,12 +528,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -542,12 +542,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -556,12 +556,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -570,12 +570,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -584,12 +584,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -598,12 +598,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -612,12 +612,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? super Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? super Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -626,12 +626,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? extends GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? super Fun2< Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? super Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -640,12 +640,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? super GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, Fun2<Matrix, C>>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, Fun2<Matrix, BO>>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -654,12 +654,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? super GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -668,12 +668,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? super GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -682,12 +682,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? super GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -696,12 +696,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? super GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -710,12 +710,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? super GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -724,12 +724,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? super GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -738,12 +738,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? super GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -752,12 +752,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? super GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -766,12 +766,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? super GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? super Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? super Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -780,12 +780,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? extends Vector< ? super GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? extends Vector< ? super GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? super Fun2< Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? super Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -794,12 +794,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, Fun2<Matrix, C>>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, Fun2<Matrix, BO>>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -808,12 +808,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -822,12 +822,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -836,12 +836,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -850,12 +850,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -864,12 +864,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -878,12 +878,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -892,12 +892,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -906,12 +906,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -920,12 +920,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? super Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? super Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -934,12 +934,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Vector< GTV Integer > >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Vector< GTV Integer > >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? super Fun2< Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? super Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -948,12 +948,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, Fun2< Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Matrix >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, Fun2< Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, Fun2<Matrix, C>>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, Fun2<Matrix, BO>>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -962,12 +962,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Matrix >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -976,12 +976,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Matrix >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -990,12 +990,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Matrix >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< Vector< GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -1004,12 +1004,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Matrix >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? extends Vector< GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -1018,12 +1018,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Matrix >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? extends GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -1032,12 +1032,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Matrix >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? extends Vector< ? super GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -1046,12 +1046,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Matrix >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? super Vector< GTV Integer > >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -1060,12 +1060,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Matrix >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? extends Vector< ? super Matrix >, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -1074,12 +1074,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? extends Fun2< ? super Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Matrix >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? extends Fun2< ? super Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? extends Fun2< ? super Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? extends Fun2< ? super Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
@@ -1088,12 +1088,12 @@ Matrix Matrix()
 }
 }
 
-SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH H <. TPH G), (TPH C <. TPH J), (TPH G <. TPH K), (TPH L = Fun1< TPH K, ? super Fun2< Matrix, TPH C > >), (TPH A = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >), (TPH I = Vector< ? super Matrix >), (TPH E = Fun2< Matrix, TPH C >), (TPH F = Fun1< TPH K, Fun2< Matrix, TPH C > >), (TPH D = Fun1< Fun1< TPH K, ? super Fun2< Matrix, TPH C > >, TPH C >)]
+SourceFile      DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH BT <. TPH BS), (TPH BO <. TPH BV), (TPH BS <. TPH BW), (TPH BX = Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >), (TPH BM = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >), (TPH BU = Vector< ? super Matrix >), (TPH BQ = Fun2< Matrix, TPH BO >), (TPH BR = Fun1< TPH BW, Fun2< Matrix, TPH BO > >), (TPH BP = Fun1< Fun1< TPH BW, ? super Fun2< Matrix, TPH BO > >, TPH BO >)]
 
-SourceFile      DEBUG [Typeinference] class <K, C>Matrix extends Vector<Vector<Integer>>
+SourceFile      DEBUG [Typeinference] class <BW, BO>Matrix extends Vector<Vector<Integer>>
 {
-Fun1<Fun1<K, ? super Fun2< Matrix, TPH C >>, C> op = (C m) -> {
-return (Fun2<Matrix, C> f) -> {
+Fun1<Fun1<BW, ? super Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
+return (Fun2<Matrix, BO> f) -> {
 return f.apply(this, m);;
 };
 };
diff --git a/test/plugindevelopment/TRMEqualTest.java b/test/plugindevelopment/TRMEqualTest.java
index a847e8d36..4c173310c 100644
--- a/test/plugindevelopment/TRMEqualTest.java
+++ b/test/plugindevelopment/TRMEqualTest.java
@@ -21,6 +21,7 @@ import mycompiler.mytype.TypePlaceholder;
 import mycompiler.mytypereconstruction.TypeinferenceResultSet;
 import mycompiler.mytypereconstruction.replacementlistener.CReplaceTypeEvent;
 import typinferenz.ResultSet;
+import typinferenz.TypeInsertPoint;
 import typinferenz.TypeInsertSet;
 import typinferenz.TypeInsertable;
 
@@ -43,7 +44,7 @@ public class TRMEqualTest {
 		addTestNode("Typ1");
 		assertTrue("Nach  dem Anfügen eines Type muss das Set 1 Element enthalten",replaceSet.size()==1);
 		addTestNode("Typ2");
-		assertTrue("Nach  dem Anfügen eines weiteren Typs muss das Set 2 Elemente enthalten",replaceSet.size()==2);
+		assertTrue("Nach  dem Anfügen eines weiteren Typs muss das Set 2 Elemente enthalten und nicht "+replaceSet.size(),replaceSet.size()==2);
 		addTestNode("Typ1");
 		assertTrue("Nach  dem Anfügen des selben Typs wie zuvor muss das Set immer noch 2 Element enthalten. Und nicht "+replaceSet.size(),replaceSet.size()==2);
 	}
@@ -103,6 +104,12 @@ class TestNode implements TypeInsertable{
 		// TODO Auto-generated method stub
 		return null;
 	}
+
+	@Override
+	public TypeInsertPoint createTypeInsertPoint(TypePlaceholder tph,
+			ResultSet resultSet) {
+		return new TypeInsertPoint(tph, this, resultSet.getTypeEqualTo(tph), resultSet);
+	}
 	
 }
 
diff --git a/test/plugindevelopment/TypeInsertTests/MutlitpleTestCases.java b/test/plugindevelopment/TypeInsertTests/MutlitpleTestCases.java
index 5df8575ac..2650b5a3d 100644
--- a/test/plugindevelopment/TypeInsertTests/MutlitpleTestCases.java
+++ b/test/plugindevelopment/TypeInsertTests/MutlitpleTestCases.java
@@ -7,6 +7,7 @@ import org.junit.Test;
 public class MutlitpleTestCases {
 
 	private static final String TEST_FILE = "Test1.jav";
+	private static final String TEST_FILE2 = "Test2.jav";
 	
 	@Test
 	public void test1(){
@@ -15,4 +16,10 @@ public class MutlitpleTestCases {
 		MultipleTypesInsertTester.test(this.TEST_FILE, mustContain);
 	}
 	
+	@Test
+	public void test2(){
+		Vector<String> mustContain = new Vector<String>();
+		MultipleTypesInsertTester.test(this.TEST_FILE2, mustContain);
+	}
+	
 }
diff --git a/test/plugindevelopment/TypeInsertTests/Test2.jav b/test/plugindevelopment/TypeInsertTests/Test2.jav
new file mode 100644
index 000000000..4114c341f
--- /dev/null
+++ b/test/plugindevelopment/TypeInsertTests/Test2.jav
@@ -0,0 +1,4 @@
+
+public class Matrix{
+	op = (m) -> (f) -> f.apply(this, m);
+}
\ No newline at end of file