added timeout and time taken to process vc inside Metrics.java
Merge pull request #111 from yushan87/prover-metrics

Updates for the WebIDE
throws the appropriate error when a duplicate operation is found
Merge pull request #112 from yushan87/more-fixes

throws the appropriate error when a duplicate operation is found
Sanity checks to make sure all operations are implemented
unused imports
Merge pull request #114 from yushan87/check-all-op-implemented

Sanity checks to make sure all operations are implemented
changes to the ProgramDotExp
Merge pull request #113 from yushan87/ProgramDotExp

changes to the ProgramDotExp
Queries for operations using a qualifier
Merge pull request #115 from yushan87/translator-programdotexp-fix

Queries for operations using a qualifier
Added an operation check for call stmts to make sure we are calling it with the right types. Also updated the error message to show what went wrong
Changed from using the current module scope to the innermost active scope
operation queries now finds operations inside enhancements correctly
Merge pull request #116 from yushan87/populator_fixes

Operation Sanity Check
refactoring
Refactoring still in progress.
Refactor of VC's, conjunctions, and expressions complete.
Refactor of theorems in progress
Almost done with theorem class

Working on cleaning up the search algorithm.