public boolean requiresAssertionViolation(PsiElement element) {
    return myDfaFilter != null && myDfaFilter.requiresAssertionViolation(element);
  }
public boolean requiresAssertionViolation(PsiElement element)