Code template for a check contract clause. Eiffel Software check code