• scanner : Smt2Driver
• scanner_ : DrDriver
• streamname_ : DrDriver
• trace_parsing_ : DrDriver
• trace_scanning_ : DrDriver