conditions on label+fork; CSK -> CESK