Still a partially correct implementation. Only one initial state for NBW. Good.
Still a partially correct implementation. Only one initial state for NBW. Good.

juliansf/rltl2ba,juliansf/rltl2ba,juliansf/rltl2ba,juliansf/rltl2ba