clear

Removes all diagnostics to be checked by the verifier.