Test: test for the push() method