Function semantically_equal 

pub fn semantically_equal(
    a: &Expr,
    b: Expr,
    alg: Algebra,
) -> Result<bool, LimitError>

判断两个表达式在给定语义下语义等价（3^n 穷举，变量取并集）。