user Story 3 vorläufige Version
Grundgerüst für Fixpoint-Solver