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