Add tests for some ModuleRef properties