Lines Matching full:precondition
5716 // This precondition is not required by this function's implementation, but
