TIMEOUT
MAYBE
Trs:
 {    f mark -> mark f,
        f ok -> ok f,
        c ok -> ok c,
        g ok -> ok g,
        d ok -> ok d,
      h mark -> mark h,
        h ok -> ok h,
    proper f -> f proper,
    proper c -> c proper,
    proper g -> g proper,
    proper d -> d proper,
    proper h -> h proper,
  active f f -> mark c f g f,
    active f -> f active,
    active c -> mark d,
    active h -> h active,
    active h -> mark c d,
    top mark -> top proper,
      top ok -> top active}
 Open