@Test
public void filtersViolation_isInstanceOfRelatedPatternAndViolationOverlapInInstance() {

    final TestAUGBuilder target = buildAUG().withActionNodes("a", "c");
    final TestAUGBuilder violatedPattern = buildAUG().withActionNodes("a", "b");
    final TestAUGBuilder satisfiedPattern = buildAUG().withActionNodes("a", "c");
    final Overlap violation = buildOverlap(violatedPattern, target).withNode("a").build();
    final Overlap instance = buildOverlap(satisfiedPattern, target).withNodes("a", "c").build();
    final AlternativePatternInstancePredicate filter = new AlternativePatternInstancePredicate();
    assertTrue(filter.test(violation, Collections.singleton(instance)));
}