pub type LoweredDemand = Demand<VariableId>;