let register_script goal keys proof =
  Hashtbl.replace scriptbase goal (List.sort String.compare keys,proof)