Assert
Assert: で始まるalgorithmのstepのこと
5.2 Algorithm Conventionsで説明されている
処理系の動作を規定するものではなく、アルゴリズムの理解を容易にするもの
Assert: Blah(V) is trueは「仕様上、Blah(V)はtrueになっているはず」という意味になる（はず）
厳密には（少なくとも）2通りの意味で使われることがありそう
1. 「アルゴリズムのステップを実行していくと、結果として必ずこうなる」という注釈
例: PutValueのb. Assert: base is an Environment Record.
baseがEnvironment Recordでない場合には先行するstepですでにreturnされている
2. 「アルゴリズムの引数はこうでなければならない」という表明
例: InitializeReferencedBindingの3. Assert: V is a Reference Record.
このAssertは先行するstepやabstract operationの説明文からは引き出せないので、引数Vの性質を規定しているはず