Erratum: Annotated Automatic Pruning of Universal Probabilistic Programming Languages | Synapse