pub const inhabited_predicate_adt: &str = "inhabited_predicate_adt";