FunType von Bedingung <. auf beliebig zu gelassen
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
bei childrenaufruf unifyCase1 gleiches Element hinzugefuegt
modified: test/typeinference/JavaTXCompilerTest.java
typeinference-Aufruf vor die Schleife gezogen