Avoid comparison of unsigned/signed integer and use the new signature of the Refinement methods
Refinement