Either flexelint or me, probabbly the latter, do not understand the
code.

As far as I am concerned, I would have thought that flexelint could
follow for

	AN(y);
	REPLACE(x, y);

x being guranteed to be non-NULL

This reverts commit 897e5313.
This reverts commit 6f4d0ec1.