let is_in_set ~set elt =
    (K.is_null elt && not Null_Behavior.zone) || Top_Param.O.mem elt set