NFA modelling and a couple of tests