Make addTransition check states NFA ownership.
Merge branch 'master' of ssh://github.com/nybblr/cs3240-compiler