pub fn eval(expr: &Expr, assignment: &Assignment, alg: Algebra) -> Ternary
单点求值:按赋值计算表达式值。
未在赋值中出现的变量视为 X(未知)。
X