improve oracle support and add hide_lemma