Predicate signature Make::DataFlowIntegrationInputSig::includeWriteDefsInFlowStep

Holds if WriteDefinitions should be included as an intermediate node between the assigned Expr or Parameter and the first read of the SSA definition.