Fixed test cases for push method