WyC: yet more test cases which are failing because they have undeclared variables (which now matters).