PR# 19974 Current used before initialized - non-object call

The following program is not valid. The compiler should report a VEVI error because `Current` is used  before the attribute `b` of attached type is initialized in the creation procedure of class `AA`. Instead of that we get a call-on-void_target:

******************************** Thread exception *****************************
In thread           Root thread            0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object      Routine                Nature of exception           Effect
-------------------------------------------------------------------------------
BB                  f @N                   is_empty:
<XXXXXXXXXXXXXXXX>                         Feature call on void target.  Fail
-------------------------------------------------------------------------------
BB                  f @N
<XXXXXXXXXXXXXXXX>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AA                  make @N
<XXXXXXXXXXXXXXXX>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AA                  root's creation                                     
<XXXXXXXXXXXXXXXX>                         Routine failure.              Exit
-------------------------------------------------------------------------------

class AA

create

	make

feature

	make
		do
			{BB}.f (Current)
			b := "Eiffel"
		end

	b: STRING

end
~~~~~~~
class BB

feature

	f (a: AA)
		local
			b: BOOLEAN
		do
			b := a.b.is_empty
		ensure
			class
		end

end