Symbol: solver_get_orphaned