On the Composition of Well-Structured Programs | Synapse