Introduce correlated prior sets

created merge request !332 (merged) to address this issue

mentioned in merge request !332 (merged)

changed milestone to %Future

I'm moving this to the feature requests wiki as a long-term issue.

closed

mentioned in commit 8216dbcf

unassigned @moritz.huebner