pub fn eq_expr(l: &Expr, r: &Expr) -> bool