diff --git a/fzn-parser/examples/aust.ast b/fzn-parser/examples/aust.ast
new file mode 100644
index 0000000..eb5aeb1
--- /dev/null
+++ b/fzn-parser/examples/aust.ast
@@ -0,0 +1,149 @@
+_ > [].
+_T > [[]|_T].
+[X|_T] > [preds(X)|_T].
+_T > [[]|_T].
+_T > [int|_T].
+_T > [[]|_T].
+_T > [int:lit(1)|_T].
+_T > [int:lit(-1)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[Es|_T] > [array(_):alit(Es)|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [int(1,3)|_T].
+_T > [_:id('output_var')|_T].
+_T > [[]|_T].
+[H,T|_T] > [[H|T]|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [int(1,3)|_T].
+_T > [_:id('output_var')|_T].
+_T > [[]|_T].
+[H,T|_T] > [[H|T]|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [int(1,3)|_T].
+_T > [_:id('output_var')|_T].
+_T > [[]|_T].
+[H,T|_T] > [[H|T]|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [int(1,3)|_T].
+_T > [_:id('output_var')|_T].
+_T > [[]|_T].
+[H,T|_T] > [[H|T]|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [int(1,3)|_T].
+_T > [_:id('output_var')|_T].
+_T > [[]|_T].
+[H,T|_T] > [[H|T]|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [int(1,3)|_T].
+_T > [_:id('output_var')|_T].
+_T > [[]|_T].
+[H,T|_T] > [[H|T]|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [int(1,3)|_T].
+_T > [_:id('output_var')|_T].
+_T > [[]|_T].
+[H,T|_T] > [[H|T]|_T].
+[H,T|_T] > [[H|T]|_T].
+[X|_T] > [vars(X)|_T].
+_T > [[]|_T].
+_T > [_:id('X_INTRODUCED_0')|_T].
+_T > [_:id('wa')|_T].
+_T > [_:id('nt')|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[Es|_T] > [array(_):alit(Es)|_T].
+_T > [int:lit(0)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+_T > [[]|_T].
+[A, C|_T] > [constraint(C, A)|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [_:id('X_INTRODUCED_0')|_T].
+_T > [_:id('wa')|_T].
+_T > [_:id('sa')|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[Es|_T] > [array(_):alit(Es)|_T].
+_T > [int:lit(0)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+_T > [[]|_T].
+[A, C|_T] > [constraint(C, A)|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [_:id('X_INTRODUCED_0')|_T].
+_T > [_:id('nt')|_T].
+_T > [_:id('sa')|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[Es|_T] > [array(_):alit(Es)|_T].
+_T > [int:lit(0)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+_T > [[]|_T].
+[A, C|_T] > [constraint(C, A)|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [_:id('X_INTRODUCED_0')|_T].
+_T > [_:id('nt')|_T].
+_T > [_:id('q')|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[Es|_T] > [array(_):alit(Es)|_T].
+_T > [int:lit(0)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+_T > [[]|_T].
+[A, C|_T] > [constraint(C, A)|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [_:id('X_INTRODUCED_0')|_T].
+_T > [_:id('sa')|_T].
+_T > [_:id('q')|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[Es|_T] > [array(_):alit(Es)|_T].
+_T > [int:lit(0)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+_T > [[]|_T].
+[A, C|_T] > [constraint(C, A)|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [_:id('X_INTRODUCED_0')|_T].
+_T > [_:id('sa')|_T].
+_T > [_:id('nsw')|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[Es|_T] > [array(_):alit(Es)|_T].
+_T > [int:lit(0)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+_T > [[]|_T].
+[A, C|_T] > [constraint(C, A)|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [_:id('X_INTRODUCED_0')|_T].
+_T > [_:id('sa')|_T].
+_T > [_:id('v')|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[Es|_T] > [array(_):alit(Es)|_T].
+_T > [int:lit(0)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+_T > [[]|_T].
+[A, C|_T] > [constraint(C, A)|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [_:id('X_INTRODUCED_0')|_T].
+_T > [_:id('q')|_T].
+_T > [_:id('nsw')|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[Es|_T] > [array(_):alit(Es)|_T].
+_T > [int:lit(0)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+_T > [[]|_T].
+[A, C|_T] > [constraint(C, A)|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [_:id('X_INTRODUCED_0')|_T].
+_T > [_:id('nsw')|_T].
+_T > [_:id('v')|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[Es|_T] > [array(_):alit(Es)|_T].
+_T > [int:lit(0)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+_T > [[]|_T].
+[A, C|_T] > [constraint(C, A)|_T].
+[H,T|_T] > [[H|T]|_T].
+[X|_T] > [constrs(X)|_T].
+_T > [[]|_T].
diff --git a/fzn-parser/examples/aust.ast.old b/fzn-parser/examples/aust.ast.old
new file mode 100644
index 0000000..790d689
--- /dev/null
+++ b/fzn-parser/examples/aust.ast.old
@@ -0,0 +1,149 @@
+_ > [].
+_T > [[]|_T].
+[X|_T] > [preds(X)|_T].
+_T > [[]|_T].
+_T > [int|_T].
+_T > [[]|_T].
+_T > [int:lit(1)|_T].
+_T > [int:lit(-1)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[Es|_T] > [array(_,[_]):alit(Es)|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [int(1,3)|_T].
+_T > [_:id('output_var')|_T].
+_T > [[]|_T].
+[H,T|_T] > [[H|T]|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [int(1,3)|_T].
+_T > [_:id('output_var')|_T].
+_T > [[]|_T].
+[H,T|_T] > [[H|T]|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [int(1,3)|_T].
+_T > [_:id('output_var')|_T].
+_T > [[]|_T].
+[H,T|_T] > [[H|T]|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [int(1,3)|_T].
+_T > [_:id('output_var')|_T].
+_T > [[]|_T].
+[H,T|_T] > [[H|T]|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [int(1,3)|_T].
+_T > [_:id('output_var')|_T].
+_T > [[]|_T].
+[H,T|_T] > [[H|T]|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [int(1,3)|_T].
+_T > [_:id('output_var')|_T].
+_T > [[]|_T].
+[H,T|_T] > [[H|T]|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [int(1,3)|_T].
+_T > [_:id('output_var')|_T].
+_T > [[]|_T].
+[H,T|_T] > [[H|T]|_T].
+[H,T|_T] > [[H|T]|_T].
+[X|_T] > [vars(X)|_T].
+_T > [[]|_T].
+_T > [_:id('X_INTRODUCED_0')|_T].
+_T > [_:id('wa')|_T].
+_T > [_:id('nt')|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[Es|_T] > [array(_,[_]):alit(Es)|_T].
+_T > [int:lit(0)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+_T > [[]|_T].
+[A, C|_T] > [constraint(C, A)|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [_:id('X_INTRODUCED_0')|_T].
+_T > [_:id('wa')|_T].
+_T > [_:id('sa')|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[Es|_T] > [array(_,[_]):alit(Es)|_T].
+_T > [int:lit(0)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+_T > [[]|_T].
+[A, C|_T] > [constraint(C, A)|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [_:id('X_INTRODUCED_0')|_T].
+_T > [_:id('nt')|_T].
+_T > [_:id('sa')|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[Es|_T] > [array(_,[_]):alit(Es)|_T].
+_T > [int:lit(0)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+_T > [[]|_T].
+[A, C|_T] > [constraint(C, A)|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [_:id('X_INTRODUCED_0')|_T].
+_T > [_:id('nt')|_T].
+_T > [_:id('q')|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[Es|_T] > [array(_,[_]):alit(Es)|_T].
+_T > [int:lit(0)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+_T > [[]|_T].
+[A, C|_T] > [constraint(C, A)|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [_:id('X_INTRODUCED_0')|_T].
+_T > [_:id('sa')|_T].
+_T > [_:id('q')|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[Es|_T] > [array(_,[_]):alit(Es)|_T].
+_T > [int:lit(0)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+_T > [[]|_T].
+[A, C|_T] > [constraint(C, A)|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [_:id('X_INTRODUCED_0')|_T].
+_T > [_:id('sa')|_T].
+_T > [_:id('nsw')|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[Es|_T] > [array(_,[_]):alit(Es)|_T].
+_T > [int:lit(0)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+_T > [[]|_T].
+[A, C|_T] > [constraint(C, A)|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [_:id('X_INTRODUCED_0')|_T].
+_T > [_:id('sa')|_T].
+_T > [_:id('v')|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[Es|_T] > [array(_,[_]):alit(Es)|_T].
+_T > [int:lit(0)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+_T > [[]|_T].
+[A, C|_T] > [constraint(C, A)|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [_:id('X_INTRODUCED_0')|_T].
+_T > [_:id('q')|_T].
+_T > [_:id('nsw')|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[Es|_T] > [array(_,[_]):alit(Es)|_T].
+_T > [int:lit(0)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+_T > [[]|_T].
+[A, C|_T] > [constraint(C, A)|_T].
+[H,T|_T] > [[H|T]|_T].
+_T > [_:id('X_INTRODUCED_0')|_T].
+_T > [_:id('nsw')|_T].
+_T > [_:id('v')|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[Es|_T] > [array(_,[_]):alit(Es)|_T].
+_T > [int:lit(0)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
+_T > [[]|_T].
+[A, C|_T] > [constraint(C, A)|_T].
+[H,T|_T] > [[H|T]|_T].
+[X|_T] > [constrs(X)|_T].
+_T > [[]|_T].
--
libgit2 0.21.2