Control Dorp_Down(): add and use functions insert_(), remove_() and get_value(); fix tests