Ok, let go my previous 2 e-mails, I didn't read the thing correctly. Now I see what's the problem, though I can't do tests to find the bug. I think, though, that the bug is hidden in BRegion::Support::RSub() (in the RegionSupport.cpp file).