Clear the `execution_aborted` flag at the beginning of `execute`.