Make the test a bit more strict.

Before it would pass even if @b or @c ended up pointing to a variable named
@a123.