Let `iExFalso` perform `iStartProof`.
Before you would get some internal error message that apply tac_ex_falso
failed because the goal is not env_entails
.
Before you would get some internal error message that apply tac_ex_falso
failed because the goal is not env_entails
.