返回 P 的優先順序。
表示受保護物件 P 的非別名元件。此元件的型別為 System.Any_Priority，其值為 P 的優先順序。P'Priority 表示變數當且僅當 P 表示變數。對該屬性的引用僅應出現在 P 的主體中。
P’Priority return System.Any_Priority
