let inject_top_origin origin t =
    if Null_Behavior.zone
    then
      Top (Top_Param.inject t, origin)
    else
      let s = Top_Param.O.remove K.null t in
      if Top_Param.O.is_empty s
      then top_int
      else Top (Top_Param.inject s, origin)