Predicate signature InputSig::simpleLocalFlowStep
Holds if there is a simple local flow step from node1 to node2. These
are the value-preserving intra-callable flow steps.
signature predicate simpleLocalFlowStep(Node node1, Node node2, string model)