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