Step 1 - eliminate Split monoid and freeze