Generalized Synchronization Trees