MatchLocalNames

MatchLocalNames is an option for Trace and related functions that specifies whether symbols such as x should match symbols with local names of the form x$nnn. 

Please visit the official Wolfram Language Reference for more details and examples on core symbols.