WIP: Cleaning fixpoint

Closed Mateusz Rychlicki requested to merge cleaning_fixpoint into improvement_acceleration

Merge request reports