| constraint type | RQL constraint |
|---|---|
| value | {"expression": "T subworkflow_exit S, T transition_of WF, O state_of WF", "mainvars": ["O", "S"], "msg": "destination state must be in the same workflow as our parent transition"} |
| constraints | SubWorkflowExitPoint destination_state State |