Constant SAT_EMIT_NOT_PHI 

pub const SAT_EMIT_NOT_PHI: &str = "sat_emit_not_phi";