let exit level op res pp =
  if is_active level then
    begin 
      indent := !indent - 1;
      whitespace level !indent;
       Format.eprintf "%s: %s --> " level op;
       pp Format.err_formatter res;
       Format.eprintf "@."
    end