Yeah, these examples will never be classified as separable_reduced because they do not pass the basic necessity of being (x^n*y) form.
Also, they should never be mistaken as being separable_reduced as their basic forms are different.
I think same about test cases.
Still, if @asmeurer  has to say anything, I would like to hear his opinion too as he mentioned about test cases.