let prop_of_loc p = F.p_not (F.p_bool (M.is_null p))