Settings is now merging local and gobal symbols without duplicating
symbols
Fixed duplication bug.