Changed HashMap<uint,()> to HashSet<uint> in type_visitor()