UML `alt` Fragment vs Per-Message Guards for Deterministic Sequence Traces
Goal: generate deterministic executable traces from a UML 2.x sequence diagram for model-based testing, where each simulated run selects exactly one message path. Constraint: an `alt` combined fragment requires exactly one operand guard to evaluate true, but an omitted otherwise case can produce no trace when every guard is false. Per-message guards avoid gr