Enviar aquest missatge de text: Enhancing active model learning with equivalence checking using simulation relations