let usedDefsSet = ref IS.empty