Symbol: Avoid catching impossible KeyError exception.
Symbol test: Refrain from instantiating RedefIdentifierError.
Symbol test: Thoroughly examine the raised RedefIdentifierError.