Empty#toNFA added.
Literal#toNFA added.