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.
Fixed an error that caused incorrect VCs to be generated.
Merge pull request #38 from hamptonsmith/facilities2

Fixed an error that caused VCs to be improperly generated.  Some concurrency fixes to the new prover GUI.