_Tail ==> [[]|_Tail].
_Tail ==> [[]|_Tail].
_Tail ==> [id('writeBool')|_Tail].
_Tail ==> [id('readReal')|_Tail].
_Tail ==> [[]|_Tail].
[B,A|_Tail] ==> [map(A,B)|_Tail].
_Tail ==> [lit(real, 3)|_Tail].
[B,A|_Tail] ==> [div(A,B)|_Tail].
_Tail ==> [lit(real, 3)|_Tail].
[B,A|_Tail] ==> [mul(A,B)|_Tail].
_Tail ==> [lit(real, 1)|_Tail].
[B,A|_Tail] ==> [eq(A,B)|_Tail].
[B,A|_Tail] ==> [map(A,B)|_Tail].
[T|_Tail] ==> [[T]|_Tail].
[S,TR,F|_Tail] ==> [lit(map(TF,TR), map(F,S,Symbols))|_Tail].
[V|_Tail] ==> [decl(id('program'), const(V), T)|_Tail].