Predicate signature Make::DataFlowIntegrationInputSig::allowFlowIntoUncertainDef

Holds if flow should be allowed into uncertain SSA definition def from previous definitions or reads.