before adding double successor variable