Predicate signature InputSig::ignoreFieldFlowBranchLimit

Holds if fieldFlowBranchLimit should be ignored for flow going into/out of c.