Compositionally Progressive Solutions of Synchronous FSM Equations