test and instrumentation for allOverriddenSymbols

... to verify whether they work correctly.