Predicate AbandonSession::controlStep

A control flow step that is not sanitised by a call to clear the session.

predicate controlStep(Node s1, Node s2)