Function pptr_usize_with Copy item path

pub uninterp spec fn pptr_usize_with(
    p: PointsTo<usize>,
    c: MemContents<usize>,
) -> PointsTo<usize>