Constant D4_MARK_VARS_IN_CLAUSES 

pub const D4_MARK_VARS_IN_CLAUSES: &str = "d4_mark_vars_in_clauses";