iftruexyxiffalsexyyeq00trueeq0sxfalseeqsx0falseeqsxsyeqxyappnilllappconsxl1l2consxappl1l2appappl1l2l3appl1appl2l3memxnilfalsememxconsylifmemeqxyxlifmemtruexltrueifmemfalsexlmemxlinterxnilnilinternilxnilinterappl1l2l3appinterl1l3interl2l3interl1appl2l3appinterl1l2interl1l3interconsxl1l2ifintermemxl2xl1l2interl1consxl2ifintermemxl1xl2l1ifintertruexl1l2consxinterl1l2ifinterfalsexl1l2interl1l2if3true0false0eq200s1app2nil0cons2mem2ifmem3inter2ifinter4FULL./TRS/Cime/intersect.trs