A fork segment must always target a state, not a pseudo state.
A fork node is a control node that splits a flow into multiple concurrent flows towards concurrent states.
Transitions leaving from a fork and targeting pseudo states should be removed.