sem_attr.adb (Eval_Attribute, [...]): Catch more cases where this attribute can be...