for(int i=0; i<=s1; i++) removeState(0);
removeUnobservableStates(s1);
    public LinearFilterRepresentation optimize() {	int s1, s2;			// remove unobservable states	transposeSystem();	s1 = reduceParameters(false);	transposeSystem();		LinearPrinter.println("got reduction up to value " + s1);				if(s1 >= 0) {	    // for now, leave at least 1 state	    s1 = Math.min(s1,states-2);	    for(int i=0; i<=s1; i++)		removeState(0);	}		// remove unreachable states	s2 = reduceParameters(true);	LinearPrinter.println("got reduction up to value " + s2);				if(s2 >= 0) {	    qr_Algorithm(s2);	    cleanAll();	    zeroInitEntries();	    cleanAll();	    removeStates(s2);	} 			return extractRep();    }