while(true){
                boolean noMoreReductionsPTPE = true;
                ArrayList<TR> trList = pnReduced.getTransitionList_safe();
                for(int i=0;i<trList.size();i++){
                    if(trList.get(i).previousList.size()==1 && trList.get(i).nextList.size()==1){