Constant contract_check_ensures

pub const contract_check_ensures: Symbol;