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