Unit tests for NFA