Fix: Destroying datastructures with const cfg