WyIL: Continued updating VcGenerator.

Added support for constructing the branch tree, from which verification
conditions are generated.