返回 P 的优先级。
表示受保护对象 P 的非别名组件。此组件的类型为 System.Any_Priority，其值为 P 的优先级。P'Priority 表示变量当且仅当 P 表示变量。对该属性的引用仅应出现在 P 的主体中。
P’Priority return System.Any_Priority
