and Application Conditions for High-Level Structures -- Synthesis Revisited: Generating