Counter Trace CSV
class CounterTraceCSV(theCounter: Counter, pathToFile: Path = theCounter.myModel.outputDirectory.outDir.resolve(
theCounter.name.replace(':', '_') + "_Trace.csv"), header: Boolean = true) : ModelElementObserver