di_nextsolvableattr
case di_nextsolvableattr:
di->state = di_nextsolvableattr;
if (di->state == di_nextsolvableattr)