adding NFA support for the empty set and a basic test case