let add_script goal keys proof =
  needsave := true ; register_script goal keys proof