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