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 -> (falsefalsefalse, ("", 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 ()