A modified version of ScalaZ3 for Leon lemma