WyIL: bug fix for finding postconditions in verification condition generator.