maxi(Z,n) -> n
maxi(m,Z) -> m
maxi(S(m),S(n)) -> S(maxi(m,n))

lcs(E,y) -> Z
lcs(x,E) -> Z
lcs(A(x),A(y)) -> S(lcs(x,y))
lcs(B(x),B(y)) -> S(lcs(x,y))
lcs(A(x),B(y)) -> maxi(lcs(A(x),y),lcs(x,B(y)))
lcs(B(x),A(y)) -> maxi(lcs(B(x),y),lcs(x,A(y)))

[Z]=1
[S](x)=x+1

[E]=1
[A](x)=x+1
[B](x)=x+1

[maxi](x,y)=max(x,y)
[lcs](x,y)=max(x,y)


