return prefix + (strName != null ? strName.getIdent() : "") + ".dot";
if (numSubGraphs == 1) {   return prefix + ".dot"; } else { return prefix + (strName != null ? strName.getIdent() : "") + ".dot"; }
    public static String makeDotFileName(String prefix, SIRStream strName)     {        return prefix + (strName != null ? strName.getIdent() : "") + ".dot";    }