printSymbolicSchedule(symbolicUnoptimizedSteady);
    public void optimize()    {        symbolicUnoptimizedInit = convertToSymbolic(unoptimizedInit);        symbolicUnoptimizedSteady = convertToSymbolic(unoptimizedSteady);        Integer oldUnoptimizedInit;        Integer oldUnoptimizedSteady;        do        {            oldUnoptimizedInit = symbolicUnoptimizedInit;            oldUnoptimizedSteady = symbolicUnoptimizedSteady;            collectRepeats();            liftSingles();            liftSingles2();        }        while (oldUnoptimizedInit.intValue()            != symbolicUnoptimizedInit.intValue()            || oldUnoptimizedSteady.intValue()                != symbolicUnoptimizedSteady.intValue());        optimizedInit = convertToSchedule(symbolicUnoptimizedInit);        optimizedSteady = convertToSchedule(symbolicUnoptimizedSteady);    }