-let add_abst cnt id w =
- D.EBind (cnt, E.node_attrs ~name:(id, true) (), D.Abst (N.two, w))
+let alpha id =
+ if id.[0] >= '0' && id.[0] <= '9' then !G.alpha ^ id else id
+
+let add_abst cnt id d w =
+ let id = if !G.alpha <> "" then alpha id else id in
+ let a = E.node_attrs ~name:(id, true) ~degr:(succ d) () in
+ D.EBind (cnt, a, D.Abst (N.two, w))