Holds if there is a local non-abrupt step from n1 to n2.
This predicate is only relevant for AST constructs that are not already handled by this library.
signature predicate step(PreControlFlowNode n1, PreControlFlowNode n2)Holds if there is a local non-abrupt step from n1 to n2.
This predicate is only relevant for AST constructs that are not already handled by this library.
signature predicate step(PreControlFlowNode n1, PreControlFlowNode n2)