modify to rename PATTERN-MATCHER-SYMBOL function to UNIQUE-SYMBOL function