Is the contract is it already applied on the given `mfacet`

Property definitions

	# Is the contract is it already applied on the given `mfacet`
	fun is_already_applied(mfacet: MFacet): Bool is abstract

src/model/model_contract.nit:25,2--26,57

	redef fun is_already_applied(mfacet: MFacet): Bool do return mfacet.has_applied_expect

src/model/model_contract.nit:33,2--87

	redef fun is_already_applied(mfacet: MFacet): Bool do return mfacet.has_applied_ensure

src/model/model_contract.nit:45,2--87