pushing without AVL testing