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