pub fn substitute_expr(expr: &LcnfExpr, subst: &Substitution) -> LcnfExpr
Apply a substitution to an expression.