Better inline marking for __does_policy_contain. Thanks to Chongyu Zhu for the catch