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

    TestAUGBuilder pattern = buildAUG().withActionNodes("create()", "use()").withDataNodes("Creator", "Object")
            .withEdge("Creator", RECEIVER, "create()")
            .withEdge("create()", DEFINITION, "Object")
            .withEdge("Object", RECEIVER, "use()");
    TestAUGBuilder target = buildAUG().withActionNodes("create()").withDataNodes("Creator", "Object")
            .withEdge("Creator", RECEIVER, "create()")
            .withEdge("create()", DEFINITION, "Object");
    TestOverlapBuilder overlap = buildOverlap(target, pattern).withNodes("Creator", "create()", "Object")
            .withEdge("Creator", RECEIVER, "create()")
            .withEdge("create()", DEFINITION, "Object");
    Optional<Boolean> decision = new OnlyDefPrefixNoViolationPredicate().apply(overlap.build());
    assertThat(decision, is(Optional.of(false)));
}