Constant ContractEnsures 

pub const ContractEnsures: Symbol;