WYIL: a bug fix for the way that assertions are translated.