diff --git a/src/de/dhbwstuttgart/typeinference/typeAlgo/TYPE.java b/src/de/dhbwstuttgart/typeinference/typeAlgo/TYPE.java
index a799d8e2..ccb70002 100644
--- a/src/de/dhbwstuttgart/typeinference/typeAlgo/TYPE.java
+++ b/src/de/dhbwstuttgart/typeinference/typeAlgo/TYPE.java
@@ -221,7 +221,7 @@ public class TYPE implements StatementVisitor{
     protected Constraint<Pair> generateConstraint(MethodCall forMethod, MethodAssumption assumption, TypeInferenceBlockInformation info){
         Constraint methodConstraint = new Constraint();
         methodConstraint.add(ConstraintsFactory.createPair(forMethod.receiver.getType(), assumption.getReceiverType(), PairOperator.SMALLERDOT, info));
-        methodConstraint.add(ConstraintsFactory.createPair(assumption.getReturnType(), forMethod.getType(), PairOperator.SMALLERDOT, info));
+        methodConstraint.add(ConstraintsFactory.createPair(assumption.getReturnType(), forMethod.getType(), PairOperator.EQUALSDOT, info));
         methodConstraint.addAll(generateParameterConstraints(forMethod, assumption, info));
         return methodConstraint;
     }
@@ -229,8 +229,8 @@ public class TYPE implements StatementVisitor{
     protected Set<Pair> generateParameterConstraints(MethodCall foMethod, MethodAssumption assumption, TypeInferenceBlockInformation info) {
         Set<Pair> ret = new HashSet<>();
         for(int i = 0;i<foMethod.arglist.getArguments().size();i++){
-            ret.add(ConstraintsFactory.createPair(assumption.getArgTypes().get(i),
-                    foMethod.arglist.getArguments().get(i).getType(), PairOperator.SMALLERDOT, info));
+            ret.add(ConstraintsFactory.createPair(foMethod.arglist.getArguments().get(i).getType(),
+                    assumption.getArgTypes().get(i), PairOperator.SMALLERDOT, info));
         }
         return ret;
     }
diff --git a/test/javFiles/mathStruc.jav b/test/javFiles/mathStruc.jav
index 7bbb79be..2e0620fb 100644
--- a/test/javFiles/mathStruc.jav
+++ b/test/javFiles/mathStruc.jav
@@ -1,6 +1,6 @@
 class mathStruc<A> {
 
-mathStruc(A a) { ;}
+mathStruc(A a) { }
 
 A model(){ A a; return a; }
 
diff --git a/test/typeinference/JavaTXCompilerTest.java b/test/typeinference/JavaTXCompilerTest.java
index 8b3175cb..a67f2a3f 100644
--- a/test/typeinference/JavaTXCompilerTest.java
+++ b/test/typeinference/JavaTXCompilerTest.java
@@ -32,6 +32,7 @@ public class JavaTXCompilerTest extends JavaTXCompiler {
     public void test() throws IOException, ClassNotFoundException {
     	filesToTest.add(new File(rootDirectory+"Faculty.jav"));
     	//filesToTest.add(new File(rootDirectory+"mathStruc.jav"));
+        filesToTest.add(new File(rootDirectory+"Faculty.jav"));
         //filesToTest.add(new File(rootDirectory+"Lambda.jav"));
         //filesToTest.add(new File(rootDirectory+"Lambda2.jav"));
         //filesToTest.add(new File(rootDirectory+"Lambda3.jav"));