fix(library): fix various leaks

src/library/equations_compiler/equations.cpp

@@ -283,6 +283,7 @@ void finalize_equations() {
     delete g_equations_opcode;
     delete g_equations_result;
     delete g_equation;
+    delete g_equation_ignore_if_unused;
     delete g_no_equation;
     delete g_equations_result_name;
     delete g_equations_name;

src/library/tactic/smt/hinst_lemmas.cpp

@@ -798,6 +798,7 @@ void initialize_hinst_lemmas() {
 }
 
 void finalize_hinst_lemmas() {
+    delete g_pattern_hint;
     delete g_no_inst_pattern_attr;
     delete g_hinst_lemma_max_steps;
 }