Enviar aquest missatge de text: Towards Symmetry Aware Refinement Checking (Extended Abstract)