let
add_fresh i =
S
.add (
Fresh
i)