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