Commutativity equations not working in context of AbstractFunctor

[YaZuiShou251]

Using commit 4c9f853

cat = AbstractCategory[<|f -> {U, V}, g -> {V, X}, h -> {Y, X}, i -> {X, Z}|>];
func = AbstractFunctor[cat, <|U -> A, Y -> A2, V -> B, X -> B2, Z -> B3|>, <||>, {}, <||>, {A == A2, B == B2, B2 == B3}];
eq1=func["CodomainCategory"]["CommutativityEquations"]
eq2=func["CodomainCategory"]["ReducedCommutativityEquations"]

returns {} and {f == h, f == g\[CircleDot]f, f == i\[CircleDot]h, f == (i\[CircleDot]g)\[CircleDot]f, g == i, g == i\[CircleDot]g, g == \!\(\*OverscriptBox[\(B3\), \(~\)]\)}.

Both CommutativityEquations and ReducedCommutativityEquations are incorrect here. The codomain category is not a commutative diagram (eq1 shouldn't be empty) and imposing the reduced equations does not make it commutative either.