Fix indents

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

...main/java/de/tla2b/translation/UsedDefinitionsFinder.java

src/main/java/de/tla2b/types/TupleOrFunction.java

src/main/java/de/tla2b/util/DebugUtils.java

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

src/main/java/de/tla2bAst/ExpressionTranslator.java