When I read the original post, the first thing I thought of was the Ship of Theseus paradox, as you modify something when does it cease to be that original thing?
Your question is more like: "I know y is not x", "y has many of the same properties of x", "a simple property tester T can't...