-T).(csubv_bind c1 c2 H Abbr (\lambda (H0: (eq B Abbr Void)).(not_abbr_void
-H0)) Abbr v1 v2))) (\lambda (v1: T).(\lambda (v2: T).(csubv_bind c1 c2 H Abst
-(sym_not_eq B Void Abst not_void_abst) Abst v1 v2))) (\lambda (v1:
-T).(\lambda (v2: T).(csubv_void c1 c2 H v1 v2))) b)))).
-(* COMMENTS
-Initial nodes: 121
-END *)
+T).(csubv_bind c1 c2 H Abbr not_abbr_void Abbr v1 v2))) (\lambda (v1:
+T).(\lambda (v2: T).(csubv_bind c1 c2 H Abst not_abst_void Abst v1 v2)))
+(\lambda (v1: T).(\lambda (v2: T).(csubv_void c1 c2 H v1 v2))) b)))).