gMarked_ffalsesMarked_gfifMarked_if01ctrueyxf(0)truef(1)falsef(s(x))f(x)if(true,x,y)xif(false,x,y)yg(s(x),s(y))if(f(x),s(x),s(y))g(x,c(y))g(x,g(s(c(y)),y))f(0)truef(1)falsef(s(x))f(x)if(true,x,y)xif(false,x,y)yg(s(x),s(y))if(f(x),s(x),s(y))g(x,c(y))g(x,g(s(c(y)),y))Marked_f(s(x))Marked_f(x)Marked_g(s(x),s(y))Marked_if(f(x),s(x),s(y))Marked_g(s(x),s(y))Marked_f(x)Marked_g(x,c(y))Marked_g(x,g(s(c(y)),y))Marked_g(x,c(y))Marked_g(s(c(y)),y)f(0)truef(1)falsef(s(x))f(x)if(true,x,y)xif(false,x,y)yg(s(x),s(y))if(f(x),s(x),s(y))g(x,c(y))g(x,g(s(c(y)),y))Marked_g(x,c(y))Marked_g(x,g(s(c(y)),y))Marked_g(x,c(y))Marked_g(s(c(y)),y)true0c230130030if220f0Marked_g30s0false0g20Marked_g(x,c(y))Marked_g(s(c(y)),y)f(0)truef(1)falsef(s(x))f(x)if(true,x,y)xif(false,x,y)yg(s(x),s(y))if(f(x),s(x),s(y))g(x,c(y))g(x,g(s(c(y)),y))Marked_g(x,c(y))Marked_g(x,g(s(c(y)),y))f(0)truef(1)falsef(s(x))f(x)if(true,x,y)xif(false,x,y)yg(s(x),s(y))if(f(x),s(x),s(y))g(x,c(y))g(x,g(s(c(y)),y))Marked_g(x,c(y))Marked_g(x,g(s(c(y)),y))true0c10130030if110f0Marked_g10s0false0g0f(0)truef(1)falsef(s(x))f(x)if(true,x,y)xif(false,x,y)yg(s(x),s(y))if(f(x),s(x),s(y))g(x,c(y))g(x,g(s(c(y)),y))Marked_f(s(x))Marked_f(x)Marked_f1Marked_f(s(x))Marked_f(x)f(0)truef(1)falsef(s(x))f(x)if(true,x,y)xif(false,x,y)yg(s(x),s(y))if(f(x),s(x),s(y))g(x,c(y))g(x,g(s(c(y)),y))