evaluate_label should capture cc in BlockCont and push BlockCont to stack,
not cc.