let whess_exn t =   Option.value_exn ~msg:(sprintf "%s: no WHESS file" (name t)) t.whess