re-adding rudimentary fsm constraint