Symbol: di_nextsolvableattr