[FEATURE REQUEST] Analysis phases

[lucaneg]

Description
The analysis now follows a fixed 3-step workflow: syntactic checks -> program fixpoint -> semantic checks. We should allow custom workflows to enable scenarios like program fixpoint -> simplify program -> program fixpoint -> semantic checks.