public static List <IO2Trace> pathToSink(this IO2Finding o2Finding) { var pathToTraceType = new List <IO2Trace>(); OzasmtUtils.getPathToTraceType(o2Finding.o2Traces, TraceType.Known_Sink, pathToTraceType); return(pathToTraceType); }