Prototype VC Generator

This uses the treewalker to generate VCs. So far these are the rules it can do:
1) Procedure Declaration Rule
2) Remember Rule
3) Assume Rule
4) Confirm Rule
5) Operation Call (General)
6) Swap Rule