Possibly Intervening Step

A step in a Partially Ordered Plan in a Causal Link iff

$\Pi \cup \{S\prec U,U\prec T\}$ acyclic.