Methods and systems for automatically correlating signaling message priority and IP priority are disclosed. The predicates represent whether or not nodes of the program code’s AST have corresponding properties, such as representing a class that inherits from another given class. Each chamber may include an analyte-specific reagent effective to react with a selected analyte that may be present in the sample, and detection means for detecting the signal. Alternatively, the produced water is introduced after a fracturing fluid, other than the produced water, has been introduced to create a fracture.