[ref_impl_eiffel] [688] Correct Void target errors in recent improved specialisation status detection code.

Revision: 688
Author: thomas.beale

Log Message: