Problem 2 resolved. The method called push_element_and_increment was removed.