Implemented limit checking for effects