Constant SAT_XGCF_CNF_EMIT 

pub const SAT_XGCF_CNF_EMIT: &str = "sat_xgcf_cnf_emit";