let
usedDefsSet = ref
IS
.empty