Predicate signature Make::DataFlowIntegrationInputSig::ssaDefHasSource

Holds if def has some form of input flow. For example, the right-hand side of an assignment or a parameter of an SSA entry definition.

For such definitions, a flow step is added from a synthetic node representing the source to the definition.