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