The aim of this project is to provide a graph representation suitable for dynamic models, as they occur in probabilistic programming languages (e.g. with stochastic control flow, or model recursion).