3845: remove indeterminism in constsimp