Predicate signature InputSig::getAdditionalFlowIntoCallNodeTerm

Gets an additional term that is added to the join and branch computations to reflect an additional forward or backwards branching factor that is not taken into account when calculating the (virtual) dispatch cost.

Argument arg is part of a path from a source to a sink, and p is the target parameter.