Mathematical logic and foundations

Which situation most directly calls for the replacement schema rather than separation?