Constant CONSTRUCT_LOWERING_ASSERTION_CHECK 

pub const CONSTRUCT_LOWERING_ASSERTION_CHECK: &str = "assertion_check";