Trace: loadedtestcases valid-csc ki csc cnr