WyC: making progress on updating test cases for new append syntax.