Function expr_equality_forces_const 

pub(crate) fn expr_equality_forces_const(
    candidate: &Expr,
    value: U256,
    expr: &Expr,
    context: &[BoolExpr],
) -> Option<U256>

Returns the expr_equality_forces_const symbolic expression helper result.