2.2.3 契约检查法