Function collect_expr_constants 

pub(crate) fn collect_expr_constants(
    expr: &Expr,
    constants: &mut BTreeSet<U256>,
)

Implements the collect_expr_constants solver helper.