Exclude the nameToReplace from valid capture avoidance

[anderium]

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.