let script_for w =
    Some 
      (match Proof.find_script_for_goal w.po_gid with 
         | None -> default
         | Some script -> script
      )