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