Zaslat SMS: Unfolding Abstract Datatypes