debug an off-by-one bug in policyStaticDP