WYIL: verification check now generates types for the parameters of a method being checked.