PUMP_IN_VALVE を PUMP_INTAKE_VALVEに、PUMP_OUT_VALVE PUMP_OUTLET_VALVE に名前を変更されたのに対応した.