let mk_minus_pointer p1 p2 = Why_ops.sub_pointer p1 p2