Wyślij wiadomość: Amortized rejection sampling in universal probabilistic programming