Prove that inlining and extracting work with multiple replacements.