Similar Items: Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties