pushed current DataStructure class, so it can be used by Leon