variable mode names are no longer all uppercase
deleted code to handle assume and confirm rules that are not needed
small fix to replacement method for parameters
variable declaration rule doesn't automatically replace things in the final confirm directly. All the replacement is now deferred to the assume rule
WhileStmt fixes: VCs weren't generating with the right VC detail
no more empty ensures or requires
skeleton code for facilit declaration rule
Moved our existing incomplete assertive code stack loop to its own method
basic facility declaration rule for concept/concept realization
minor fix to return true ensures/requires clauses if they aren't any
facility declaration vcs now point to the right location in file
avoids importing constraints for concepts that we have added their constraints
comment out Heather's vc generator when we compile from the web interface
replaced question marks with primes
Changed the vc detail for If Statement VCs
added facility parameter constraint and formal = actual expressions in each operation
fixes how the replacement is done inside a function assignment rule
Merge pull request #130 from yushan87/vcgen-fixes

Vcgen fixes