let var_name (v,p,_,_)=
     match p with
    | None -> v
    | Some id -> Printf.sprintf "%s_%d" v id