test for allOverriddenSymbols

... to verify whether they work correctly.