(VAR F )
(RULES 
        foo(bar(F)) -> 
        
)