# Is there an ensure contract?
	fun has_ensure: Bool
	do
		return self.mensure != null
	end