CounterTraceCSV

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