属性式前端。策略编译成 Guarded，属性等级在此确定。