An analysis of inline substitution for a structured programming language | Synapse