WyIL: fixed up verification condition generator; now it's compiling again!