Assert: Direct references to push and pushFailure