public static boolean hasImplicitImpureSuperCall(PsiClass aClass, PsiMethod constructor) {
    PsiClass superClass = aClass.getSuperClass();
    if (superClass == null) return false;
    PsiElement superCtor = JavaResolveUtil.resolveImaginarySuperCallInThisPlace(constructor, constructor.getProject(), superClass);
    if (!(superCtor instanceof PsiMethod method)) return false;
    return !JavaMethodContractUtil.isPure(method);
  }
public static boolean hasImplicitImpureSuperCall(PsiClass aClass, PsiMethod constructor)