bugfix synth.synthesize: keep strongly connected states