 CSP exception

Behave as $P$ until it performs a visible CSP event in $A$, then switch to $Q$. The triggering event is included in the visible CSP trace.