remove unused filter in Pump.mo