let
register col prover =
Hashtbl
.add column_tbl col
#
misc
#
get_oid prover