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