Predicate signature InputSig::additionalLambdaFlowStep

Extra data-flow steps needed for lambda flow analysis.

signature predicate additionalLambdaFlowStep(Node nodeFrom, Node nodeTo, boolean preservesValue)