EinsteinCCToRicci

EinsteinCCToRicci[expr]
converts all cosmological Einstein tensors in expr to Ricci tensors and scalars.
EinsteinCCToRicci[expr, cd]
converts only cosmological Einstein tensors of the covariant derivative cd.