WyC: updated test cases to use new append syntax.