Predicate Make::Consistency::phiReadWithoutTwoPriorRefs
Holds if the phi read for v at bb has less than 2 immediately prior
references.
Import path
import codeql.ssa.Ssapredicate phiReadWithoutTwoPriorRefs(BasicBlock bbPhi, SourceVariable v, int inputRefs)