Similar Items: Arcane: An Assertion Reduction Framework through Semantic Clustering and MCTS-Guided Rule Exploring