Constant SAT_XGCF_WRITE_ROOT_UNIT_CLAUSE 

pub const SAT_XGCF_WRITE_ROOT_UNIT_CLAUSE: &str = "sat_xgcf_write_root_unit_clause";