## additional SERE simplifications for [*0..1]

We have `e[*0..i] = e[*i]`

if `e`

is a SERE that accept the empty word.

This seems particularly relevant if `i=1`

. For instance `(a[*]|b)[*0..1] = (a[*]|b)[*1] = a[*]|b`

.

Currently the "bounded star-normal-form" will rewrite `(a[*]|b)[*0..1]`

as `(a[+]|b)[*0..1]`

.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information