US 3
US 3  mit project->feature mapper project-> ...
Manual reset to commit "Restructuring" (2012-01-24)
Fixed Merge-Conflict
Added negative Fixpoint-Tests
Added more Tests to FixpointTest
Changed Test12 in FixpointTest
Kommentare, kleine Änderungen an Fixpoint.java