Wrong behaviour of domain inversion on xxx2Many
When screen domain on xxx2Many like ('lines.type', '=', 'foo'), it is wrong to apply the clause ('type', '=', 'foo') on all the lines because this screen domain means at least one line has type 'foo'.
So for me, we should not apply at all the screen domain on xxx2Many because it gives no correct constraint because we do not have a way to express at least one.