इसका टेक्स्ट मैसेज भेजे: Enhancing active model learning with equivalence checking using simulation relations