Adding simulation reduction rules#487

Draft

samo538 wants to merge 8 commits intoVeriFIT:develfrom

Commits on Feb 24, 2025

Added backwards simulation
samo538
committed

Commits on Mar 16, 2025

Commits on Mar 27, 2025

Simulation fixpoint
samo538
committed

Commits on Apr 16, 2025

Created a separate file for simulations
samo538
committed

Commits on Apr 27, 2025

Commits on Jun 5, 2025

Final touches
samo538
committed