fn clause_kind_discriminant<I: Interner>(value: &ClauseKind<I>) -> usize