WYCS: added some additional debugging code to verification check.