Function alpha_eq_env 

pub fn alpha_eq_env(e1: &Expr, e2: &Expr, env: &Environment) -> bool

Check if two expressions are equal after full normalization with environment.