Is there an expect contract applied?

Property definitions

nitc $ MFacet :: has_applied_expect=
	# Is there an `expect` contract applied?
	var has_applied_expect: Bool = false
src/model/model_contract.nit:53,2--54,37