automatonset: complement produces an open context
In standard.py
we have:
check(qexp('[abc]*{c}'), zero('abc'))
It is commented because the lhs has an opened context, not the rhs. It was not seen before because we were not showing whether the context was open or not.