WyC: minor tweaks to broken static invalid tests