# An expect (precondition) contract representation
class MExpect
	super MContract

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