flag to indicate is the `MPropDef` has a contract

Property definitions

	# flag to indicate is the `MPropDef` has a contract
	var has_contract = false

src/contracts.nit:766,2--767,25