Is there an contract facet?

Property definitions

	# Is there an contract facet?
	fun has_contract_facet: Bool
	do
		return self.mcontract_facet != null
	end

src/model/model_contract.nit:115,2--119,4