If the expr does not match the condition "priority(p_eft) || deny", and the policyIndex is shorter than policyLength-1, it will short-circuit some effects in the middle.