US 3 + refactoring im fixpointsolver