Predicate signature InputSig::viableImplInCallContextTooLargeExclude
Holds if (call, ctx) should be excluded from the consistency test viableImplInCallContextTooLargeExclude.
signature predicate viableImplInCallContextTooLargeExclude(DataFlowCall call, DataFlowCall ctx, DataFlowCallable callable)