Fixes #125 and #126. Builds on top of the commit for the test in PR #127, but that test likely won't pass because this implementation does rename the argument of the inner function. It is likely also safe to skip the replacement entirely if $\epsilon_1$ does not occur in freeInExpressionBody.
Fixes #125 and #126. Builds on top of the commit for the test in PR #127, but that test likely won't pass because this implementation does rename the argument of the inner function. It is likely also safe to skip the replacement entirely if $\epsilon_1$ does not occur in
freeInExpressionBody
.