Automated Variational Inference in Probabilistic Programming | Synapse