add wrap state leak and noleak cases