push the assert condition