nfarunproto and nfafromstatelist for the jit.