visitBiggerNode