أرسل هذا في رسالة قصيرة: A representative function approach to symmetry exploitation for CSP refinement checking