@Test
public void filtersViolation_isInstanceOfSubPattern() {

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