IfcSpaceType is being stored and retrieved correctly and the IFC file is being produced as expected