इसका टेक्स्ट मैसेज भेजे: A representative function approach to symmetry exploitation for CSP refinement checking