let print_name_info env =
let _ = List.fold_left (fun ind name ->
print_int ind;
let (read, written, analyzed, (file, line)) =
try
let vp = Hashtbl.find env.varprops ind
in (vp.read_after_declared, vp.written_after_declared, true, vp.declaration_loc)
with Not_found -> (false, false, false, ("", 0))
in
print_string (" "^name^" read="^(string_of_bool read)^" written="^(string_of_bool written)
^ " analyzed="^(string_of_bool analyzed)^" ("
^( Filename.basename file)^","^(string_of_int line)^")\n") ;
ind + 1) 0 env.names
in ()