pub const predicates_defined_on: DepKind;