let add_init_state_input state loc node =
match loc with
| Locations.Zone.Top(_p,_o) ->
(* don't add top because it loses everything*)
state
| _ ->
let new_info = NodeSetLattice.inject_singleton node in
let new_loc_info =
LocInfo.add_binding false state.loc_info loc new_info in
let new_outputs = Locations.Zone.link state.under_outputs loc in
let state = make new_loc_info new_outputs in
state