EQUATIONS: 
f(a(),x,z) = f(y,b(),z)
f(a(),b(),z) = b()

Fatal error: exception Maxcomp.Fail("I'm giving up
")