Which IFC class to use for jumpform?

Which IFC class would you use for a jumpform?

IfcBuildingSystem of IfcMembers?

Unfortunately I think an IfcBuildingSystem is not too appropriate, since an IfcProduct or IfcTypeProduct is required as an output of IfcRelAssignsToProduct to describe the construction of the jumpform in 4D.