On Tue, 2018-10-16 at 16:14 +0300, Arkadiy Illarionov wrote: > > I suppose it's FP since aI ∈ [rGroup.begin(); aStart) ∪ > (aStart; rGroup.end()). Seems a false positive to me anyway.