Merge pull request #1486 from YosysHQ/clifford/fsmdetectfix

Bugfix in fsm_detect