Function constant_value 

pub fn constant_value(expr: &Expr, alg: Algebra) -> Option<Ternary>

判断表达式是否语义常量；是则返回该值。

枚举超出默认预算时返回 None：这只表示“没有证明是常量”，调用方应保留原式。