Remove unchanged variables (on top level) from ANY

src/main/java/de/tla2b/analysis/BOperation.java

src/main/java/de/tla2bAst/BAstCreator.java

src/test/java/de/tla2b/prettyprintb/ActionsTest.java

...est/java/de/tla2b/prettyprintb/UnchangedVariableTest.java