Yes indeed. And that looks to me more like poor modeling than anything else. I am curious to know of any serious TM application using untyped assertions. As said before, it is something completely forbidden in Mondeca ITM. Assertions types have to be declared, and the assertion type constrains the assertion pattern. As far as I understand, every other TM application does more or less the same. That's why I don't see the point of letting the door open to untyped assertions, except for sake of letting people keep on being loose and lazy.