fixed merging of same returns/returnsCorrectly that we didn't see, some flags were set and others were and different checks were used, leading to unexplianed no returns