added findbugs + jacoco

build.gradle

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

src/main/java/de/tlc4b/TLCRunner.java

src/main/java/de/tlc4b/Translator.java

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

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

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

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

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

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

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

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

...lc4b/analysis/typerestriction/IdentifierDependencies.java

...ava/de/tlc4b/analysis/typerestriction/TypeRestrictor.java

.../analysis/unchangedvariables/AssignedVariablesFinder.java

src/main/java/de/tlc4b/btypes/AbstractHasFollowers.java

src/main/java/de/tlc4b/btypes/FunctionType.java

src/main/java/de/tlc4b/btypes/IntegerOrSetOfPairType.java

src/main/java/de/tlc4b/btypes/StructType.java

src/main/java/de/tlc4b/ltl/LTLFormulaVisitor.java