ss_next_inst(); refinement