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