"Refinement checks:\n" +
    "  * CSC strict:  " + checkStgRefinement(work_csc, "mode_selector.stg.work") + "\n" +
    "  * CSC relaxed: " + checkStgRefinementRelaxed(work_csc, "mode_selector.stg.work") + "\n" +
    "  * CR strict:   " + checkStgRefinement(work_cr, "mode_selector.stg.work") + "\n" +
    "  * CR relaxed:  " + checkStgRefinementRelaxed(work_cr, "mode_selector.stg.work") + "\n" +