WyC: completed pass through valid test cases removing $ for new syntax.