Implemented tests for adaptive-slicing shrinking and widening