Hot: probabilisticprogram