Constant is_mir_available 

pub const is_mir_available: DepKind;