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
      make new_loc_info new_outputs