let get vi =
  compute ();
  try Occurrences.get vi with Not_found -> assert false