IsValid() method of policy should check that every action, target, obligation, ... exists only once in the policy. The editor should generate warnings for this case.

Category