This is the policy that triggers the crash. I left it as it was because it took several iterations to get everything necessary to trigger the segfault. This policy is pretty much identical to the one that was reported as causing the problem hence it is contained in a separate file.