analysis.md contains many assertions supported only by informal and partially unpublished tests. They should be converted in formal tests for tc39/test262.