(VAR x )
(RULES 
        f(tt,x) -> f(isList(x),x)
        isList(Cons(x,xs)) -> isList(xs)
        isList(nil) -> tt
        
)