new Map Symbol-Tool for local-file-symbols