Seol mar théacs é seo: Towards Symmetry Aware Refinement Checking (Extended Abstract)