kleines refactoring fixpoint