Member predicate Make::Private::SourceOutputNode::isExit
Holds if this node is an exit node, i.e. after all stores have been performed.
A local flow step should be added from this node to a data flow node representing
sc
inside source
.
predicate isExit(SourceElement source, SummaryComponent sc, string model)