أرسل هذا في رسالة قصيرة: Towards Symmetry Aware Refinement Checking (Extended Abstract)