Constant contract_check_ensures 

pub const contract_check_ensures: Symbol;