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)