Reloading should interrupt running provers
When reloading a file in the IDE (
C-r), currently running provers continue in the background.
After reloading is finished, the prover result does not seem to be used and the time of
the VC is displayed as
Currently running provers should be killed when reloading.