(VAR x y )
(RULES 
        T(I(x),y) -> T(x,y)
        T(x,y) ->= T(x,I(y))
)