Wrong statemachine warning

Hi,

statemachine transitions containing "after" keyword, produce warning message "Dead state "XXX": state does not have outgoing transitions". The following example reproduce this:

type t_states is(STATE_A, STATE_B);signal states : t_states := STATE_A; 
	test_process :process(states)begin 
		case states iswhen STATE_A =>	states <= STATE_B;when STATE_B =>	states <= STATE_A after5ns;endcase; 
	endprocess;

STATE_B produces the warning described above.

I'm using a Premium test license Version 2.25.

Best regards
Tobias