ReplacementFinder extracted from codelet