The Decidability of the Structural Congruence for Beta-binders