Function structurally_equal 

pub fn structurally_equal(e1: &Expr, e2: &Expr) -> bool

Structural equality: same as alpha_equiv but uses a simpler name-blind comparison.

Two expressions are structurally equal if they differ only in the names given to binders (which are cosmetic in de Bruijn representation).