test for NFA equality added.