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)