Added predicate for constant setup to trace file

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

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

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

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

src/main/java/de/tlc4b/tlc/TLCOutputInfo.java

src/main/resources/standardModules/SequencesAsRelations.tla