0025334: BRepOffsetAPI_MakeOffset algorithm crashes on some customer's shape