failed to attach sorts to rule: f(g(f(?x))) -> g(f(g(?x)))

failed to attach sorts to rule: f(?c) -> ?c

failed to attach sorts to rule: g(?c) -> ?c