Predicate signature Make::DataFlowIntegrationInputSig::keepAllPhiInputBackEdges

Holds if all phi input back edges should be kept in the data flow graph.

This is ordinarily not necessary and causes the retention of superfluous nodes.