Missing circuit name negation replacements !()

[flandreas]

At certain locations, negation using the !() notation are not yet replaced by overlines:

• Explorer tree view
• Explorer preview circuit name
• Scenarios tree view
• Use cases tree view