diff --git a/src/mycompiler/SourceFile.java b/src/mycompiler/SourceFile.java
index 619f10b8..7b478a1c 100755
--- a/src/mycompiler/SourceFile.java
+++ b/src/mycompiler/SourceFile.java
@@ -44,8 +44,11 @@ import sun.reflect.generics.reflectiveObjects.NotImplementedException;
 import sun.reflect.generics.reflectiveObjects.TypeVariableImpl;
 import typinferenz.ConstraintsSet;
 import typinferenz.FunN;
+import typinferenz.FunNInterface;
+import typinferenz.FunNMethod;
 import typinferenz.ResultSet;
 import typinferenz.UndConstraint;
+import typinferenz.assumptions.MethodAssumption;
 import typinferenz.assumptions.TypeAssumptions;
 import typinferenz.exceptions.TypinferenzException;
 
@@ -1389,6 +1392,14 @@ public class SourceFile
         */
     	TypeAssumptions ret = new TypeAssumptions();
     	
+    	//Basic Assumptions für die FunN Interfaces:
+    	//TODO: Hier mehr als Fun1-Fun5 implementieren
+    	for(int i = 0; i<6; i++){
+    		FunNInterface funN = new FunNInterface(i);
+    		ret.add(funN.getPublicFieldAssumptions());
+    	}
+    	
+    	
     	return ret; //TODO: Diese TypeAssumptions mit basic-Assumptions füllen
     }
     // ino.end
diff --git a/src/mycompiler/myclass/Class.java b/src/mycompiler/myclass/Class.java
index fdb1940d..fb9e9330 100755
--- a/src/mycompiler/myclass/Class.java
+++ b/src/mycompiler/myclass/Class.java
@@ -477,7 +477,7 @@ public class Class extends SyntaxTreeNode implements AClassOrInterface
     // ino.end
 
     // ino.method.get_ParaList.23101.definition 
-    public Vector get_ParaList()
+    public Vector<Type> get_ParaList()
     // ino.end
     // ino.method.get_ParaList.23101.body 
     {
diff --git a/src/mycompiler/myclass/Method.java b/src/mycompiler/myclass/Method.java
index fc3df832..d13792c8 100755
--- a/src/mycompiler/myclass/Method.java
+++ b/src/mycompiler/myclass/Method.java
@@ -465,7 +465,7 @@ public class Method extends Field implements IItemWithOffset, TypeInsertable
     // ino.end
     // ino.method.toString.23605.body 
     {
-        return this.getType() + " " + block.toString();
+        return this.getType() + " " +( (block!=null)?block.toString():"");
     }
     // ino.end
     
diff --git a/src/typinferenz/FunNInterface.java b/src/typinferenz/FunNInterface.java
index 3b8f2a56..1f79f87a 100644
--- a/src/typinferenz/FunNInterface.java
+++ b/src/typinferenz/FunNInterface.java
@@ -2,17 +2,52 @@ package typinferenz;
 
 import java.util.Vector;
 
+import typinferenz.assumptions.MethodAssumption;
+import typinferenz.assumptions.TypeAssumptions;
 import mycompiler.mytype.*;
 import mycompiler.myclass.Class;
 import mycompiler.mytype.TypePlaceholder;
 
-
+/**
+ * Stellt das Interface FunN dar.
+ * @author janulrich
+ *
+ */
 public class FunNInterface extends Class{
 //TODO: Diese Klasse sollte eigentlich von Interface erben
+	//TODO: getType muss einen Typ mit der ParameterListe zurückliefern.
+	/**
+	 * Ein FunN-Interface enthält nur eine Methode (namens apply). Ist also ein Funktionales Interface.
+	 * @param N - Die Anzahl der Parameter der apply-Methode. Beispiel N = 1 ergibt <code>R apply(T1 par1);</code>
+	 */
+	public FunNInterface(int N) {
+		super("Fun"+N);
+		Vector<Type> paralist = new Vector<Type>();
+		paralist.add(new GenericTypeVar("R",0));
+		for(int i = 1; i<=N;i++){
+			paralist.add(new GenericTypeVar("T"+i,0));
+		}
+		this.set_ParaList(paralist);
+	}
 	
-	public FunNInterface(Vector<Type> parameter) {
-		super("Fun"+parameter.size());
-		this.set_ParaList(parameter);
+	/**
+	 * @return Im Falle von einem FunN-Interface ist dies die apply-Methode
+	 */
+	@Override
+	public TypeAssumptions getPublicFieldAssumptions() {
+		//return super.getPublicFieldAssumptions();
+		TypeAssumptions ret = new TypeAssumptions();
+		ret.addMethodAssumption(new MethodAssumption(this.getApplyFunction(), this));
+		return ret;
+	}
+
+	/**
+	 * Erstellt die nach Definition des Typinferenzalgorithmus von Martin Plümicke, in jedem FunN-Interface enthaltene apply-Methode
+	 * @return
+	 */
+	private FunNMethod getApplyFunction(){
+		return new FunNMethod(this.get_ParaList());
+		//return new FunNMethod(this.get_ParaList().size()-1);
 	}
 	
 }
diff --git a/src/typinferenz/FunNMethod.java b/src/typinferenz/FunNMethod.java
index e57422a9..7da2b3df 100644
--- a/src/typinferenz/FunNMethod.java
+++ b/src/typinferenz/FunNMethod.java
@@ -2,6 +2,7 @@ package typinferenz;
 
 import java.util.Vector;
 
+import mycompiler.mytype.*;
 import mycompiler.myclass.*;
 import mycompiler.mytype.TypePlaceholder;
 
@@ -10,13 +11,32 @@ public class FunNMethod extends Method{
 	 * 
 	 * @param N - Anzahl der Parameter (Beispiel: Fun2<R, T1, T2>)
 	 */
+	public FunNMethod(Vector<Type> paralist){
+		super(0); //Hat keinen Offset, da nur theoretisch gedachte Methode
+		int N = paralist.size(); //In der paraliste ist der erste Parameter der Rückgabetyp
+		this.setType(paralist.firstElement());
+		this.set_DeclId(new DeclId("apply"));
+		ParameterList pl = new ParameterList();
+		Vector<FormalParameter> fpList = new Vector<FormalParameter>();
+		for(int i = 1;i<N;i++){ //Alle verbleibenden Elemente in der übergebenen paralist durchgehen.
+			DeclId paramName = new DeclId("T"+i);
+			FormalParameter parameter = new FormalParameter(paramName);
+			//parameter.setType(TypePlaceholder.fresh(parameter));
+			parameter.setType(paralist.get(i));
+			//parameter.set_DeclId(paramName);
+			fpList.add(parameter);
+		}
+		pl.formalparameter = fpList;
+		this.parameterlist = pl;
+	}
+	
 	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));
+		this.set_DeclId(new DeclId("apply"));
 		ParameterList pl = new ParameterList();
 		Vector<FormalParameter> fpList = new Vector<FormalParameter>();
-		for(int i = 0;i<N;i++){
+		for(int i = 1;i<=N;i++){ //Alle verbleibenden Elemente in der übergebenen paralist durchgehen.
 			DeclId paramName = new DeclId("T"+i);
 			FormalParameter parameter = new FormalParameter(paramName);
 			parameter.setType(TypePlaceholder.fresh(parameter));
diff --git a/src/typinferenz/assumptions/FieldAssumption.java b/src/typinferenz/assumptions/FieldAssumption.java
index 0eb6df61..71139dfc 100644
--- a/src/typinferenz/assumptions/FieldAssumption.java
+++ b/src/typinferenz/assumptions/FieldAssumption.java
@@ -23,6 +23,10 @@ public class FieldAssumption extends Assumption {
 			return this.field.getIdentifier();
 	}
 	
+	@Override
+	public String toString(){
+		return "FieldAssumption: "+this.field.getType()+" "+this.getIdentifier();
+	}
 	
 	
 }
diff --git a/src/typinferenz/assumptions/TypeAssumptions.java b/src/typinferenz/assumptions/TypeAssumptions.java
index 4b00afae..e59cac41 100755
--- a/src/typinferenz/assumptions/TypeAssumptions.java
+++ b/src/typinferenz/assumptions/TypeAssumptions.java
@@ -146,12 +146,13 @@ public class TypeAssumptions {
 			}
 		}
 		
+		//TODO: Dieser Teil mit der Generierung von FunN-Methoden kann raus, da die FunNInterfaces sich in den Basic-Assumptions befinden sollten.
 		//Falls es sich um die apply-Methode eines FunN-Interface handelt:
-		if(methodName.equals("apply")){ //Ein Workaround für den Typinferenzalgorithmus TODO: Das hier rausnehmen.
+		//if(methodName.equals("apply")){ //Ein Workaround für den Typinferenzalgorithmus TODO: Das hier rausnehmen.
 			//CMethodTypeAssumption funNAssumption = new FunN(parameterCount).toCMethodTypeAssumption();
-			MethodAssumption funNAssumption = new MethodAssumption(new FunNMethod(parameterCount), new FunNInterface(parameter));
-			ret.add(funNAssumption);
-		}
+		//	MethodAssumption funNAssumption = new MethodAssumption(new FunNMethod(parameterCount), new FunNInterface(parameter));
+		//	ret.add(funNAssumption);
+		//}
 		if(ret.size()==0)throw new TypinferenzException("Eine Methode "+methodName+" ist in den Assumptions nicht vorhanden");
 		return ret;
 	}
diff --git a/test/mycompiler/test/lambda/testResults/LambdaTest.log b/test/mycompiler/test/lambda/testResults/LambdaTest.log
index a41d4ea9..7f8c20ab 100644
--- a/test/mycompiler/test/lambda/testResults/LambdaTest.log
+++ b/test/mycompiler/test/lambda/testResults/LambdaTest.log
@@ -1,1104 +1,12 @@
-Class           DEBUG [Typeinference] Erstellte Assumptions: this: MatrixMethod Assumptions:
-[]
+Class           DEBUG [Typeinference] Erstellte Assumptions: this: TestMethodCallMethod Assumptions:
+[MethodAssumption: TPH B null { [null Return null (this(null))], MethodAssumption: TPH C null { [null Return null (null.getSomething( [ ]))], MethodAssumption: void void { [(var = null (null.getSomethingMore( [ ])))], MethodAssumption: TPH B null { [null Return null (this(null))], MethodAssumption: TPH C null { [null Return null (null.getSomething( [ ]))], MethodAssumption: void void { [(var = null (null.getSomethingMore( [ ])))], MethodAssumption: TPH E , MethodAssumption: TPH F , MethodAssumption: TPH H , MethodAssumption: TPH K , MethodAssumption: TPH O , MethodAssumption: TPH T , MethodAssumption: TPH B null { [null Return null (this(null))], MethodAssumption: TPH C null { [null Return null (null.getSomething( [ ]))], MethodAssumption: void void { [(var = null (null.getSomethingMore( [ ])))], MethodAssumption: TPH B null { [null Return null (this(null))], MethodAssumption: TPH C null { [null Return null (null.getSomething( [ ]))], MethodAssumption: void void { [(var = null (null.getSomethingMore( [ ])))]]
 FieldVar Assumptions:
-[typinferenz.assumptions.FieldAssumption@2f79b905, typinferenz.assumptions.FieldAssumption@60620f9c, typinferenz.assumptions.FieldAssumption@2f79b905, typinferenz.assumptions.FieldAssumption@60620f9c]
+[typinferenz.assumptions.FieldAssumption@6744719c, typinferenz.assumptions.FieldAssumption@3e7eedbb, typinferenz.assumptions.FieldAssumption@6744719c, typinferenz.assumptions.FieldAssumption@3e7eedbb]
 LocalVar Assumptions:
 []
 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 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 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 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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, Fun2<Matrix, BO>>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? extends Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? extends Fun2< ? extends Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? extends Fun2< ? super Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? super Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, Fun2<Matrix, BO>>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? extends Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? extends Fun2< ? extends Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? extends Fun2< ? super Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? super Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, Fun2<Matrix, BO>>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? extends Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? extends Fun2< ? extends Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? extends Fun2< ? super Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? super Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, Fun2<Matrix, BO>>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? extends Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? extends Fun2< ? extends Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? extends Fun2< ? super Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? super Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, Fun2<Matrix, BO>>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? extends Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? extends Fun2< ? extends Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? extends Fun2< ? super Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? super Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, Fun2<Matrix, BO>>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? extends Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? extends Fun2< ? extends Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? extends Fun2< ? super Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? super Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, Fun2<Matrix, BO>>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? extends Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? extends Fun2< ? extends Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-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);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? extends Fun2< ? super Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
-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 <BW, BO>Matrix extends Vector<Vector<Integer>>
-{
-Fun1<Fun1<BW, ? super Fun2< Matrix, TPH BO >>, BO> op = (BO m) -> {
-return (Fun2<Matrix, BO> f) -> {
-return f.apply(this, m);;
-};
-};
-Matrix Matrix()
-{
-}
-}
-
+Block           DEBUG [Typeinference] Prozessing statement: null Return null (this(null))
+Block           DEBUG [Typeinference] Prozessing statement: TPH Z Return TestMethodCall (this(null))
+Block           DEBUG [Typeinference] Prozessing statement: null Return null (null.getSomething( [ ]))
diff --git a/test/plugindevelopment/TypeInsertTests/LambdaTest3.jav b/test/plugindevelopment/TypeInsertTests/LambdaTest3.jav
new file mode 100644
index 00000000..64a50f56
--- /dev/null
+++ b/test/plugindevelopment/TypeInsertTests/LambdaTest3.jav
@@ -0,0 +1,5 @@
+class LambdaTest{
+var;
+Fun0<String> op = () -> {return var;};
+
+}
\ No newline at end of file
diff --git a/test/plugindevelopment/TypeInsertTests/LambdaTest3.java b/test/plugindevelopment/TypeInsertTests/LambdaTest3.java
new file mode 100644
index 00000000..e7b8f4ba
--- /dev/null
+++ b/test/plugindevelopment/TypeInsertTests/LambdaTest3.java
@@ -0,0 +1,18 @@
+package plugindevelopment.TypeInsertTests;
+
+import java.util.Vector;
+
+import org.junit.Test;
+
+public class LambdaTest3 {
+
+	private static final String TEST_FILE = "LambdaTest3.jav";
+	
+	@Test
+	public void run(){
+		Vector<String> mustContain = new Vector<String>();
+		mustContain.add("String var");
+		MultipleTypesInsertTester.test(this.TEST_FILE, mustContain);
+	}
+	
+}
diff --git a/test/plugindevelopment/TypeInsertTests/MultipleTypesInsertTester.java b/test/plugindevelopment/TypeInsertTests/MultipleTypesInsertTester.java
index 1861c5ec..33f8e74e 100644
--- a/test/plugindevelopment/TypeInsertTests/MultipleTypesInsertTester.java
+++ b/test/plugindevelopment/TypeInsertTests/MultipleTypesInsertTester.java
@@ -12,7 +12,7 @@ import mycompiler.myparser.JavaParser.yyException;
 import mycompiler.mytypereconstruction.TypeinferenceResultSet;
 import typinferenz.TypeInsertSet;
 
-public class MultipleTypesInsertTester {
+public class MultipleTypesInsertTester extends TypeInsertTester{
 
 	public final static String rootDirectory = System.getProperty("user.dir")+"/test/plugindevelopment/TypeInsertTests/";