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