Compositionally progressive solutions of synchronous FSM equations