[midPoint-git] [Evolveum/midpoint] 283b57: Fix exclusion constraint evaluation and pruning

[mederly]

  Branch: refs/heads/support-4.0
  Home:   https://github.com/Evolveum/midpoint
  Commit: 283b5717da11ce31fc948234c9d4a57b2cc39038
      https://github.com/Evolveum/midpoint/commit/283b5717da11ce31fc948234c9d4a57b2cc39038
  Author: Pavol Mederly <mederly at evolveum.com>
  Date:   2020-09-18 (Fri, 18 Sep 2020)

  Changed paths:
    M infra/schema/src/main/java/com/evolveum/midpoint/schema/util/PolicyRuleTypeUtil.java
    M infra/util/src/main/java/com/evolveum/midpoint/util/DebugUtil.java
    M model/model-api/src/main/java/com/evolveum/midpoint/model/api/context/EvaluatedPolicyRule.java
    M model/model-impl/src/main/java/com/evolveum/midpoint/model/impl/lens/EvaluatedPolicyRuleImpl.java
    M model/model-impl/src/main/java/com/evolveum/midpoint/model/impl/lens/projector/policy/evaluators/ExclusionConstraintEvaluator.java
    M model/model-intest/src/test/java/com/evolveum/midpoint/model/intest/rbac/TestSegregationOfDuties.java
    A model/model-intest/src/test/resources/rbac/sod/metarole-exclusion-application.xml
    A model/model-intest/src/test/resources/rbac/sod/role-application1.xml
    A model/model-intest/src/test/resources/rbac/sod/role-application2.xml
    A model/model-intest/src/test/resources/rbac/sod/role-business1.xml
    A model/model-intest/src/test/resources/rbac/sod/role-business2.xml
    A model/model-intest/src/test/resources/rbac/sod/user-martin.xml
    A model/model-intest/src/test/resources/rbac/sod/user-petr.xml

  Log Message:
  -----------
  Fix exclusion constraint evaluation and pruning

Exclusion constraint evaluation did not skip targets provided
by the assignment being considered, leading to unnecessary pruning
(see MID-6268).

This is an adaptation of 9af3382f28e6b21e5d52eceab5dc6dc839be9096.