What type of sensor is normally used with the automatic recirculating valve in the main condensate line?