Function collect_bool_constants 

pub(crate) fn collect_bool_constants(
    expr: &BoolExpr,
    constants: &mut BTreeSet<U256>,
)

Implements the collect_bool_constants solver helper.