Constant CNF_REACHABILITY_BFS 

pub const CNF_REACHABILITY_BFS: &str = "cnf_reachability_bfs";