let
new_script goal keys proof =
scriptmodified :=
true
; add_script goal keys proof