dump() method for abstract heap