pub const implied_predicates_of: DepKind;