let find_script_for_goal goal = loadscripts () ; try Some(snd (Hashtbl.find scriptbase goal)) with Not_found -> None