Error executing EValidator when type-checking expression using typed enumerated literals and FQN

[pefribeiro]

It seems there is an issue with the type-checker when using a FQN and an expression involving an enumerated type. Minimal example below:

enumeration EType {
	A
	B
}

enumeration ESuper {
	C
	D(EType)
}

stm STM {
	initial I
	final F
	var x : ESuper
	transition T0 {
		from I to F
		action x = D(A)
	}
}

This works when action x = D(A) but not when action x = ESuper::D(A), which is what the graphical editor will produce by default. It raises an exception Error executing EValidator.