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

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

failed to attach sorts to rule: ?b -> h(?b)