-| Cost_numbered of Extracted.Label.clight_cost_map * Extracted.Joint.stack_cost_model
-| Cost_instrumented of Extracted.Label.clight_cost_map * Extracted.Joint.stack_cost_model
+| Cost_numbered of Extracted.Label.clight_cost_map * Extracted.CostLabel.costlabel * Extracted.Joint.stack_cost_model * Extracted.Nat.nat
+| Cost_instrumented of Extracted.Label.clight_cost_map * Extracted.CostLabel.costlabel * Extracted.Joint.stack_cost_model * Extracted.Nat.nat