Class which redefines conditions 1 and 4 of Redefine Subclause rule
is accepted without complaint.

Still not fixed in Prerelease 93.02.17.
Fixed in Prerelease 93.07.15.