इसका टेक्स्ट मैसेज भेजे: Towards Symmetry Aware Refinement Checking (Extended Abstract)