Automated test for issue6253: Auto-correction of breakpoint location