let
find k m =
try
find k m
with
Not_found
->
(
ST
.empty,
SA
.empty)