Not generating constant for statemachines being refined anymore