Our paper Conflict Extraction in Probabilistic Datalog Analyses has been accepted to ASE 2026 and is to appear.