Constant explicit_implied_clauses_of 

pub const explicit_implied_clauses_of: &str = "explicit_implied_clauses_of";