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.