c50fdf11a5f64c3d02b2c5d23d27128ffc52306d
[nit.git] / tests / sav / base_super_linext.sav
1 A
2 A
3 B[A]
4 AB
5 C[A]
6 AC
7 D[B[C[A]]]
8 ACBD