In DA foc Constraint (33) is not imposed.
whereas strong focalization imposes maximal alternating phases of reversible and irreversible rule application, weak focalization does not impose this maximality.