@NotNull
  private static GenericType resolveTerminationCallType(@NotNull PsiMethodCallExpression call) {
    return JavaTypes.INSTANCE.fromPsiType(extractType(call));
  }
@NotNull
  private static GenericType resolveTerminationCallType(@NotNull PsiMethodCallExpression call)