SMV #73: Removed requires() method from SmvModule and SmvModule constructor no longer accepts a module nickname as input.