Anfonwch hwn fel neges destun: Towards Symmetry Aware Refinement Checking (Extended Abstract)