[feature] Added constraint map to state machine.