Refined debugging