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