pub fn beta_equivalent(e1: &Expr, e2: &Expr) -> bool
Check if two expressions are beta-equivalent.
Two expressions are beta-equivalent if they have the same normal form.