Testing the functionality of Submodules