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