この資料をSMS送信: Enhancing active model learning with equivalence checking using simulation relations