Are there any programs that can visualize IFC4 files in the ifcxml format?

Users IFC
,
9

Just to add to the discussion I have found similar broken IFC XML files from the documentation examples here: Any examples of IFCXML (IFC4) files?

I am parsing the IfcXML with IfcOpenShell.