WYIL: updates to Verification Condition Generator in light of changes to WYCS.