@Test
public void onlyDefPrefixNoViolation() {

    TestAUGBuilder pattern = buildAUG().withActionNodes("it()", "hN()", "n()").withDataNodes("Itrbl", "Iter")
            .withEdge("Itrbl", RECEIVER, "it()").withEdge("it()", DEFINITION, "Iter")
            .withEdge("Iter", RECEIVER, "hN()").withEdge("Iter", RECEIVER, "n()")
            .withEdge("it()", ORDER, "hN()").withEdge("it()", ORDER, "n()")
            .withEdge("it()", REPETITION, "n()").withEdge("hN()", REPETITION, "n()").withEdge("hN()", ORDER, "n()");
    TestAUGBuilder target = buildAUG().withActionNodes("it()").withDataNodes("Itrbl", "Iter")
            .withEdge("Itrbl", RECEIVER, "it()").withEdge("it()", DEFINITION, "Iter");
    TestOverlapBuilder overlap = buildOverlap(pattern, target).withNodes("Itrbl", "it()", "Iter").withEdge("Itrbl", RECEIVER, "it()")
            .withEdge("it()", DEFINITION, "Iter");
    Optional<Boolean> decision = new OnlyDefPrefixNoViolationPredicate().apply(overlap.build());
    assertEquals(decision, Optional.of(false));
}