Add test that empty modules are empty.

Added a test that empty modules contain no definitions.
Part of case #2.