Add test for saturation upper bound