public static Map propagate(SIRStream str, Set theStatics) {
public static Map propagate(SIRStream str, Set<SIRGlobal> theStatics) {
    public static Map propagate(SIRStream str, Set/*<SIRGlobal>*/ theStatics) {        linearizeStatics(theStatics);        if (debugPrint) {            System.err.println("// StaticsProp: globals after linearization");            for (Iterator it = theStatics.iterator(); it.hasNext();) {                SIRToStreamIt.runOnGlobal((SIRGlobal) it.next());            }            System.err                .println("// StaticsProp: End of globals after linearization");        }        StaticsProp sp = new StaticsProp(theStatics);        sp.findStaticsForStr(str);        if (debugPrint) {System.err.println(sp.streamIdentToField);}        sp.getCodeToPropagate();        sp.propagateIntoStreams(str);        return sp.nameToName;    }