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

リスト11リスト9の拡張PSLコードを基に生成されたPSLコード