I use XTOL, which is the closest Kodak equivalent to Ilfosol 3. D-76 is a nice developer but it’s just not quite as good as the newer formulations like XTOL and Ilfosol 3.
You can call it “push” development, but ISO speed is actually measured with a specific developer, and you will get a different speed with different developers before you even push it. This is typically true for XTOL and Ilfosol 3. You basically get an extra half or two thirds of a stop just by using a better developer.