added xfailed tests for two other flavors of var hygiene
added xfailed test for issue 9737
is this valid?
working on hygiene