高位設計手法にアサーションを適用

リスト6　リスト5のコードに対応するPSLコード