Implement nfafromstatelist and a partial nfarunproto.