SEQUENCEs

Supported, but without OPTIONAL fields and DEFAULT values. The former makes no sense in the context of ASSERT, while the latter (DEFAULT values) is provided in the functional modeling code, not in the bridging ASN.1 structures.