lightest: it does not support lazy automata
a = exp1('abc').derived_term(lazy=True)
a.lightest()
return empty.
This is because we use a fixed size vector indexed by the number of states. But with lazy automata, this can change.
Automata should provide a state_map_t structure that we should just be able to use.