Remove the assertion and assumption block.