WyIL: updated verification condition generator to eliminate some teething issues.