pub const super_predicates_of: DepKind;