// Special handling for trace replay analysis that really creates multiple CPAs
if (shortHand == 't') {
logger.info("--- Using trace replay analysis.");
for (String fileName : TraceReplayAnalysis.traceFiles.getValue().split(",")) {
cpas.add(new TraceReplayAnalysis(fileName));
}
addedExplicitAnalysis = true;
addedUnderApproximation = true;
continue;
}