@Test
public void missingDefPrefixWithPredecessorIsNoViolation() {

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