Bug #23616 fixed again. Refine: refinement doesn't return declared result