Some call to backout_nj_sj_state() was missing. Probably a
regression introduced by the new eq_ref optimization
(bug 11766256).

All work done by Guilhem.