iffa__fMarked_a__fmarkfalseMarked_markctrueMarked_a__ifa__ifX3X2X1YXa__f(X)a__if(mark(X),c,f(true))a__if(true,X,Y)mark(X)a__if(false,X,Y)mark(Y)mark(f(X))a__f(mark(X))mark(if(X1,X2,X3))a__if(mark(X1),mark(X2),X3)mark(c)cmark(true)truemark(false)falsea__f(X)f(X)a__if(X1,X2,X3)if(X1,X2,X3)a__f(X)a__if(mark(X),c,f(true))a__if(true,X,Y)mark(X)a__if(false,X,Y)mark(Y)mark(f(X))a__f(mark(X))mark(if(X1,X2,X3))a__if(mark(X1),mark(X2),X3)mark(c)cmark(true)truemark(false)falsea__f(X)f(X)a__if(X1,X2,X3)if(X1,X2,X3)Marked_a__f(X)Marked_a__if(mark(X),c,f(true))Marked_a__f(X)Marked_mark(X)Marked_a__if(true,X,Y)Marked_mark(X)Marked_a__if(false,X,Y)Marked_mark(Y)Marked_mark(f(X))Marked_a__f(mark(X))Marked_mark(f(X))Marked_mark(X)Marked_mark(if(X1,X2,X3))Marked_a__if(mark(X1),mark(X2),X3)Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_mark(X2)a__f(X)a__if(mark(X),c,f(true))a__if(true,X,Y)mark(X)a__if(false,X,Y)mark(Y)mark(f(X))a__f(mark(X))mark(if(X1,X2,X3))a__if(mark(X1),mark(X2),X3)mark(c)cmark(true)truemark(false)falsea__f(X)f(X)a__if(X1,X2,X3)if(X1,X2,X3)Marked_a__f(X)Marked_a__if(mark(X),c,f(true))Marked_a__f(X)Marked_mark(X)Marked_a__if(true,X,Y)Marked_mark(X)Marked_a__if(false,X,Y)Marked_mark(Y)Marked_mark(f(X))Marked_a__f(mark(X))Marked_mark(f(X))Marked_mark(X)Marked_mark(if(X1,X2,X3))Marked_a__if(mark(X1),mark(X2),X3)Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_mark(X2)a__if1220Marked_a__if2220true0c0Marked_mark20false10mark10Marked_a__f20a__f10f10if1220Marked_a__if(false,X,Y)Marked_mark(Y)a__f(X)a__if(mark(X),c,f(true))a__if(true,X,Y)mark(X)a__if(false,X,Y)mark(Y)mark(f(X))a__f(mark(X))mark(if(X1,X2,X3))a__if(mark(X1),mark(X2),X3)mark(c)cmark(true)truemark(false)falsea__f(X)f(X)a__if(X1,X2,X3)if(X1,X2,X3)Marked_a__f(X)Marked_a__if(mark(X),c,f(true))Marked_a__f(X)Marked_mark(X)Marked_a__if(true,X,Y)Marked_mark(X)Marked_mark(f(X))Marked_a__f(mark(X))Marked_mark(f(X))Marked_mark(X)Marked_mark(if(X1,X2,X3))Marked_a__if(mark(X1),mark(X2),X3)Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_mark(X2)a__f(X)a__if(mark(X),c,f(true))a__if(true,X,Y)mark(X)a__if(false,X,Y)mark(Y)mark(f(X))a__f(mark(X))mark(if(X1,X2,X3))a__if(mark(X1),mark(X2),X3)mark(c)cmark(true)truemark(false)falsea__f(X)f(X)a__if(X1,X2,X3)if(X1,X2,X3)Marked_a__f(X)Marked_a__if(mark(X),c,f(true))Marked_a__f(X)Marked_mark(X)Marked_a__if(true,X,Y)Marked_mark(X)Marked_mark(f(X))Marked_a__f(mark(X))Marked_mark(f(X))Marked_mark(X)Marked_mark(if(X1,X2,X3))Marked_a__if(mark(X1),mark(X2),X3)Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_mark(X2)a__if2210Marked_a__if20true0c0Marked_mark20false0mark10Marked_a__f20a__f220f220if2210Marked_mark(f(X))Marked_a__f(mark(X))Marked_mark(f(X))Marked_mark(X)a__f(X)a__if(mark(X),c,f(true))a__if(true,X,Y)mark(X)a__if(false,X,Y)mark(Y)mark(f(X))a__f(mark(X))mark(if(X1,X2,X3))a__if(mark(X1),mark(X2),X3)mark(c)cmark(true)truemark(false)falsea__f(X)f(X)a__if(X1,X2,X3)if(X1,X2,X3)Marked_a__f(X)Marked_a__if(mark(X),c,f(true))Marked_a__f(X)Marked_mark(X)Marked_a__if(true,X,Y)Marked_mark(X)Marked_mark(if(X1,X2,X3))Marked_a__if(mark(X1),mark(X2),X3)Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_mark(X2)a__f(X)a__if(mark(X),c,f(true))a__if(true,X,Y)mark(X)a__if(false,X,Y)mark(Y)mark(f(X))a__f(mark(X))mark(if(X1,X2,X3))a__if(mark(X1),mark(X2),X3)mark(c)cmark(true)truemark(false)falsea__f(X)f(X)a__if(X1,X2,X3)if(X1,X2,X3)Marked_a__if(true,X,Y)Marked_mark(X)Marked_mark(if(X1,X2,X3))Marked_a__if(mark(X1),mark(X2),X3)Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_mark(X2)a__if11110Marked_a__if110true0c0Marked_mark10false10mark10a__f120f120if11110Marked_mark(if(X1,X2,X3))Marked_a__if(mark(X1),mark(X2),X3)Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_mark(X2)a__f(X)a__if(mark(X),c,f(true))a__if(true,X,Y)mark(X)a__if(false,X,Y)mark(Y)mark(f(X))a__f(mark(X))mark(if(X1,X2,X3))a__if(mark(X1),mark(X2),X3)mark(c)cmark(true)truemark(false)falsea__f(X)f(X)a__if(X1,X2,X3)if(X1,X2,X3)Marked_a__if(true,X,Y)Marked_mark(X)