Lines Matching full:precondition
8240 // Precondition: call is monomorphic and we have found a target with the