I just tested the scenario I attached in the comment with the latest 6.2.0.CR4 and I’m still getting wrong group by in oracle.
Should I report it as a separate issue?