Lines Matching full:precondition
969 // ensure the precondition that the object is (a) a heap object and (b) in
