let affiche_equation (a,b) =
  prerr_endline ("  variable: "^(Globals.string_id#get_name (global_var_id#get_name_of a)));
  prerr_string "      term: "Interface.prerr_term b; prerr_newline();
  prerr_string "     value: ";
  (try 
    Interface.prerr_ground_if_value (value_table#get_value (memory_map#get_map a))
  with Not_found -> prerr_string "?");
  prerr_newline()