أرسل هذا في رسالة قصيرة: Enhancing active model learning with equivalence checking using simulation relations