Dummy main SMV module generation