tech experts out there, is it a good idea, or is it necessary, to bleed the abs pump when flushing the brake system?

My mechanic thinks the pump gets flushed out as you flush the fluid so there's no need to flush the pump separately.