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