let
not_of_ptr p =
F
.p_eq (
M
.pointer_of_loc p)
D
.null