switching to the new symboltable
simple toy example generating vcs
added additional comments to current methods
10-3-2013 work in progress
work in progress - 10/10/2013
working on requires clauses
some minor changes to VCGen and TypeGraph
can obtain initialization ensures from type
modify requires by parameter mode is done. there is a problem adding the parameter as a free var that still needs to be resolved.
done modifying requires clause with constraints/initialization ensures from parameter variables
added variables into the assertion as verification statements as well as free variables
added the ability to generate VCs for recursive procedures in the procedure declaration rule
new vcgenerator can now produce verbose output
changed the math type of 'P_val' to 'N'
created a method to query for program types
removed a query that wasn't needed
part of the variable declaration rule done
added verbose info for operation call statement
replace the formal with the actual when obtaining the constraint and the initialization clause
progress with the call stmt rule