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()