Finished Testgenerator for now.
Changed Codegenerator. If a field is a set
is should be Iset<..>
ClassInvariants now work
Had to comment out two lines in functions.