EQUATIONS: 
if(tt(),x,y) = x
if(ff(),x,y) = y
if(x,y,y) = y
if(x,tt(),ff()) = x
eq(0(),0()) = tt()
eq(0(),s(x)) = ff()
eq(s(x),0()) = ff()
eq(s(x),s(y)) = eq(x,y)
has(empty(),x) = ff()
has(plus(u,x),y) = if(eq(x,y),tt(),has(u,y))
subset(empty(),v) = tt()
subset(plus(u,x),v) = if(has(v,x),subset(u,v),ff())

COMPLETE TRS:
RULES:
if(tt(),x,y) -> x
if(ff(),x,y) -> y
if(x,y,y) -> y
if(x,tt(),ff()) -> x
eq(0(),0()) -> tt()
eq(0(),s(x)) -> ff()
eq(s(x),0()) -> ff()
eq(s(x),s(y)) -> eq(x,y)
has(empty(),x) -> ff()
has(plus(u,x),y) -> if(eq(x,y),tt(),has(u,y))
subset(empty(),v) -> tt()
subset(plus(u,x),v) -> if(has(v,x),subset(u,v),ff())

SUCCESS
MaxTRS: 2 
Search time: 0.01 seconds