fix TEST_REDEFINE1: STRING does not conform to ANY anymore