Hi,
ifcfacetedbrepwithvoids are out of scope in IFC4 RV 1.2
http://www.buildingsmart-tech.org/ifc/IFC4/Add2TC1/html/link/ifcfacetedbrepwithvoids.htm
Option is skip closed shells of voids during IFC4 RV export. But this is data loss! Volume will be also invalid.