EQUATIONS: 
response(a(),b()) = b()

COMPLETE TRS:
RULES:
response(a(),b()) -> b()

SUCCESS
MaxTRS: 2 
Search time: 0.00 seconds