Expressiveness of Monadic Second-Order Logics on Infinite Trees of Arbitrary Branching Degree