Is there an ensure contract applied?

Property definitions

nitc $ MFacet :: has_applied_ensure
	# Is there an `ensure` contract applied?
	var has_applied_ensure: Bool = false
src/model/model_contract.nit:56,2--57,37