Point and sequence assertions

Hello all,

I was wondering if there were plans to add sequence (not just periodic) trace assertions to AirScript. I poked around a bit and didn't see any mention of them, but apologies if I missed something.

Thanks!

Look at the AirScript language specification and existing assertion types in the codebase. Understand how periodic trace assertions are implemented. Determine the syntax and semantics for sequence assertions, and identify where in the compiler pipeline they would need to be added.

索引モデルが issue の本文から書いたものです。