WYCS: minor bug fix for previous improvements to the parameterisation of verification conditions.