let prop_txt p =
  match p.p_part with
    | None -> prop_main p
    | Some(k,_) -> Printf.sprintf "%s_part%d" (prop_main p) (succ k)