Fixed a bug that caused the prover to freeze the UI and go into an infinite loop when it exhausted the proof search space.  Added a Minimization step after theory development but before main proof search.
Merge pull request #32 from hamptonsmith/facilities2

Fixed a bug that caused the prover to freeze the UI and go into an infin...