(VAR x)
(RULES
  F(x,x) -> G(x)
  A -> B
)