Added push_pool and pop_pool private methods. Also added respective variables to keep track of them.