let create_tbl () = {
  tbl_annots = Hannots.create 7;
  tbl_axioms = [];
  tbl_has_prop_goal = false;
  tbl_has_asgn_goal = false;
}