docs: public void nextState(IncEvalState prev, IncEvalState next, Object continuation,
        Environment env, Object denotation, Object diagram, Object otherArgs, LogFunction log) {
      next.set(continuation, env, denotation, diagram, prev.getProb(), null);
    }