issue 3694: combsimp works from bottom up