let boolean_of_loc p = F.e_not (M.is_null p)