pub fn syntactically_equal(e1: &Expr, e2: &Expr) -> bool
Check if two expressions are syntactically equal (no alpha equivalence, just ==).
==