Decidability of MSO Theories of Tree Structures