fix nested function assignments

src/main/java/de/tlc4b/TLC4B.java

src/main/java/de/tlc4b/analysis/PrimedNodesMarker.java

src/main/java/de/tlc4b/analysis/UsedStandardModules.java

.../analysis/unchangedvariables/AssignedVariablesFinder.java

src/main/java/de/tlc4b/prettyprint/TLAPrinter.java

src/test/java/de/tlc4b/tlc/integration/FixedBugsTest.java

src/test/java/de/tlc4b/util/TLC4BRunnerTestString.java