@Contract("null -> false")
    public boolean cannotFailByContract(@Nullable PsiCallExpression call) {
      if (call == null) return false;
      DataflowPoint point = myData.get(new JavaExpressionAnchor(call));
      return point != null && !point.myMayFailByContract;
    }
@Contract("null -> false")
    public boolean cannotFailByContract(@Nullable PsiCallExpression call)