(VAR x)
(RULES
  a(x) -> b(x)
  a(b(x)) -> b(a(c(a(x))))
  b(x) -> c(x)
  c(c(x)) -> x
)
(COMMENT
TPDB SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-351
)