pub type DestructAdderDemand = Demand<VariableId, (), PanicState>;