@Test @Ignore("This property might be reasonable, but it's not easy to implement it, hence, we didn't for now.")
public void onlyDefPrefixWithAdditionalEdgesIsNoViolation() {

    TestAUGBuilder pattern = buildAUG().withActionNodes("iterator()", "hasNext()", "next()").withDataNode("Iterator")
            .withEdge("iterator()", DEFINITION, "Iterator")
            .withEdge("Iterator", RECEIVER, "hasNext()")
            .withEdge("Iterator", RECEIVER, "next()")
            .withEdge("iterator()", REPETITION, "next()")
            .withEdge("hasNext()", REPETITION, "next()");
    TestAUGBuilder target = buildAUG().withActionNodes("iterator()").withDataNode("Iterator")
            .withEdge("iterator()", DEFINITION, "Iterator");
    TestOverlapBuilder overlap = buildOverlap(target, pattern).withNodes("iterator()", "Iterator")
            .withEdge("iterator()", DEFINITION, "Iterator");
    Optional<Boolean> decision = new OnlyDefPrefixNoViolationPredicate().apply(overlap.build());
    assertThat(decision, is(Optional.of(false)));
}