Add a failing test for the double push problem