VASG Issue Number:      0071
Comment Author:         Paul Menchini
Comment Number:         01
Comment Date:           1991/03/15

In addition to the staticness of an alias depending on the staticness of the
aliased name, the staticness of an alias should depend on the staticness of the
alias' subtype indication.

For example, if the subtype indication of an alias is not locally static, an
analyzer cannot decipher a reference to the alias, whether or not the aliased
name is locally static.