- let line = N1.find a i in
- if line == N1.dummy a then
- let nline = N5.create_with_level (a.N1.level+1) (N5.dummy line) in
- N1.add a i nline;
- N5.add nline j k l m n v
+ let line = N3.find a i j k in
+ if line == N3.dummy a then
+ let nline = N3.create (N3.dummy line) in
+ N3.add a i j k nline;
+ N3.add nline l m n v