Static and Dynamic Characteristics of XPL Programs | Synapse