let label_of_prop_id p =
  match p.p_part with
    | None -> label_of_kind p.p_kind
    | Some(k,n) ->
        Printf.sprintf "%s (%d/%d)" (label_of_kind p.p_kind) (succ k) n