let demo_process n n_region genuine =

 match (Options.getValueOfBool "demo" (*|| genuine *)) with
      true ->
        begin
          let s = if genuine then "Genuine" else "Spurious" in
          let outs = Printf.sprintf "*** %s Counterexample Found!***" s in
            Message.msg_string Message.Normal outs;
            dump_trace_to_node n n_region genuine;
        Message.msg_string Message.Error "waiting to hear from gui";
        let _ = input_line stdin in
          Message.msg_string Message.Error "heard from gui!";
          ()
 end 
| false -> ()