WyC: bug fix for lambdas.
WyIL: bug fix for verification condition generation.