iter_get_next_root
int iter_get_next_root(struct iter_hints* hints, struct iter_forwards* fwd,
while(iter_get_next_root(qstate->env->hints,
int iter_get_next_root(struct iter_hints* hints, struct iter_forwards* fwd,
while(iter_get_next_root(qstate->env->hints,