As mentioned in another note - it wan't possible to simplify the policy and trigger the segfault so it's been left the same as the original submitted one.