fstsplit0xnilfstsplitsnnilnilfstsplitsnconshtconshfstsplitntsndsplit0xxsndsplitsnnilnilsndsplitsnconshtsndsplitntemptyniltrueemptyconshtfalseleq0mtrueleqsn0falseleqsnsmleqnmlengthnil0lengthconshtslengthtappnilxxappconshtxconshapptxmap_fpidnilnilmap_fpidconshtappfpidhmap_fpidtprocessstoremprocessappmap_fselfnilsndsplitmstoremleqmlengthstoretrueemptyfstsplitmstorefalseprocessstoremprocesssndsplitmappmap_fselfnilstoremleqmlengthstorefalseemptyfstsplitmappmap_fselfnilstorefalsefstsplit200nil0s1cons2sndsplit2empty1true0false0leq2length1app2map_f2f2process2self0ORIENTEDFULL./TRS/AProVE/AAECCcond.trs