@Override
    public String toString() {
      return myComplete ?
             JavaAnalysisBundle.message("dfa.find.cause.one.of.the.following.happens") :
             JavaAnalysisBundle.message("dfa.find.cause.an.execution.might.exist.where");
    }
@Override
    public String toString()