Finally, constrained checking function with shrinking