Lines Matching full:assumption
604 // This condition, together with the assumption that L.ptr == R.ptr,
