wcamfj deciding rule transduction extensions performing downstream together with reactive oxygen sorts ros