Function subst_expr 

pub fn subst_expr(expr: &Expr, old: &Expr, new_expr: &Expr) -> Expr

Substitute old with new_expr everywhere it appears in expr.

Only performs exact structural matching (not modulo alpha-equivalence).