It seems that by default Revit does not export elements marked as demolished in a certain phase whilst exporting a model view to ifc format. For the coordination of refurbishment projects or documentation of historic buildings, this is a major disadvantage requiring a time-consuming workaround. I request an option in the export mask to include these elements together with the respective parameters.