TIMEOUT
MAYBE
Trs:
 {f g -> g f f,
  f h -> h g}
 Open