let not_of_loc p = F.p_bool (M.is_null p)