A structural view of the Cedar programming environment | Synapse