Riccicd[-a, -b] is a symbolic object, like Riccilc[-a, -b]. You have a rule that relates two tensors, the Christoffels, but xTensor will not attempt to compute relations for other tensors. This would be difficult, and depend on assumptions about whether there are metrics, torsions, etc. You need to guide the computations.