Stav dette: Unfolding Abstract Datatypes