Yes, in the generated test suite. (Same answer for the rest of these comments. I’ll remove them.)

Should we remove this from the generated test suite?