NOTHING
st = step(m->g, startst, stopst, st, NOTHING, st, sflags);
assert(EQ(step(m->g, startst, stopst, st, NOTHING, st, sflags),