Added negative Fixpoint-Tests