mò ‚=5Dc @ s° d Z d k l Z d e f d „ ƒ YZ d e f d „ ƒ YZ d f d „ ƒ YZ d e f d „ ƒ YZ d e f d „ ƒ YZ d „ Z e d j o e e ƒ e e ƒ n d S( s6 Support Eiffel-style preconditions and postconditions.( s functiont EiffelBaseMetaClassc B s&