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