この資料をSMS送信: Towards Symmetry Aware Refinement Checking (Extended Abstract)