@Test
public void simpleDefPrefixNoViolation() {

    TestAUGBuilder pattern = buildAUG().withActionNodes("prod()", "use()").withDataNode("P")
            .withEdge("prod()", DEFINITION, "P").withEdge("P", RECEIVER, "use()");
    TestAUGBuilder target = buildAUG().withActionNodes("prod()").withDataNode("P")
            .withEdge("prod()", DEFINITION, "P");
    TestOverlapBuilder overlap = buildOverlap(pattern, target).withNodes("prod()", "P").withEdge("prod()", DEFINITION, "P");
    Optional<Boolean> decision = new OnlyDefPrefixNoViolationPredicate().apply(overlap.build());
    assertEquals(decision, Optional.of(false));
}