PR# 19975 Current used before initialized - creation invariant

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                  _invariant             is_valid:                    
<XXXXXXXXXXXXXXXX>                         Feature call on void target.  Fail
-------------------------------------------------------------------------------
BB                  _invariant             aa.b.is_valid:               
<XXXXXXXXXXXXXXXX>                         Class invariant violated.     Fail
-------------------------------------------------------------------------------
BB                  _invariant                                          
<XXXXXXXXXXXXXXXX>                         Routine failure.              Fail
-------------------------------------------------------------------------------
BB                  make @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
			create b.make (Current)
		end

	b: BB

end
~~~~
class BB

create

	make

feature

	make (a: AA)
		do
			aa := a
		end

	aa: AA

	is_valid: BOOLEAN
		do
			Result := True
		end

invariant

	aa.b.is_valid

end