Refine the solution checking

shrink replacements into place