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)