CP debugging + refinement