whitespace
new tests added
empty target set also considered as NFA