pub(crate) fn type_op_normalize_predicate() -> DepKindStruct