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

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

failed to attach sorts to rule: ?a -> ?d

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

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

failed to attach sorts to rule: ?d -> ?c