Remove Executor handlers for AssertEnsuresCmd and AssertRequiresCmd. I've not seen these come up in practice in unstructured programs.
Remove Executor handlers for AssertEnsuresCmd and AssertRequiresCmd.
I've not seen these come up in practice in unstructured programs.

I suspect they are only in Structured programs.

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix