Fixed in rev#82547 of EiffelStudio 6.6 intermediate release. Related issues: bug#16546 (test#incr342), bug#16547 (test#incr343).