Constant AXIOM_KIND_DISJOINT_UNION 

pub const AXIOM_KIND_DISJOINT_UNION: &str = "disjoint_union";