3696: use bottom_up in combsimp