Constant CNF_REACHABILITY_INIT 

pub const CNF_REACHABILITY_INIT: &str = "cnf_reachability_init";