Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties (Logical Methods in Computer Science, 2023)