SMV #70: added a class that inherits from SmvModule to SmvAppTest.