Some progress.
Fixed a concurrency issue that caused exceptions to fire when starting or stopping the automated prover on the first VC of a verification.
Fixed a concurrency issue.
Fixed an issues that caused VCs to be generated incorrectly.