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

リスト9leave/enterを使用して記述した拡張PSLコード