Constant inhabited_predicate_adt 

pub const inhabited_predicate_adt: &str = "inhabited_predicate_adt";