Property definitions

nitc $ MFacet :: defaultinit
# A facet contract representation
# This class is created to keep the information of which method is a contract facet
class MFacet
	super MMethod

	# Is there an `expect` contract applied?
	var has_applied_expect: Bool = false

	# Is there an `ensure` contract applied?
	var has_applied_ensure: Bool = false
end
src/model/model_contract.nit:48,1--58,3