WyIL: Updated DecisionTree and VcBranch #377.

Updated DecisionTree so that it now correctly chains constraints
together.  Also, updated VcBranch and VcTransformer to recognise the new
assert block.