WyC: continuing to modify test cases for new append syntax.