2 ms·Variable-length backward asserts are fine in automata-land, which is a bit peculiar.by glangdale 7y agoVariable-length backward asserts are fine in automata-land, which is a bit peculiar.