Constant AXIOM_KIND_HAS_KEY 

pub const AXIOM_KIND_HAS_KEY: &str = "has_key";