push into the variants the state that is not advanced

this fixed a problem that we miss some reduction opportunities
because we keep advancing the state rather than
staying with the current successful one