Refactoring

build.gradle

src/main/java/de/b2tla/B2TLA.java

src/main/java/de/b2tla/Globals.java

src/main/java/de/b2tla/analysis/AssignedVariablesFinder.java

...main/java/de/b2tla/analysis/ConstantExpressionFinder.java

src/main/java/de/b2tla/analysis/ConstantsEliminator.java

src/main/java/de/b2tla/analysis/DefinitionsOrder.java

src/main/java/de/b2tla/analysis/MachineContext.java

.../java/de/b2tla/analysis/MachineDeclarationsCollector.java

src/main/java/de/b2tla/analysis/MissingVariablesFinder.java

src/main/java/de/b2tla/analysis/PrecedenceCollector.java

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

src/main/java/de/b2tla/analysis/Renamer.java

src/main/java/de/b2tla/analysis/StandardMadules.java

src/main/java/de/b2tla/analysis/TypeRestrictor.java

src/main/java/de/b2tla/analysis/Typechecker.java

...main/java/de/b2tla/analysis/UnchangedVariablesFinder.java

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

.../b2tla/analysis/transformation/DefinitionsEliminator.java

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