If we’re using the primal LP, then the log prob of the returned trace should come from dTrace, not adTrace. This was leading to bad acceptance ratios.