reapply the diffs to get the new p values set for enumeration-based random generation
add + to poly-stlc