There was a bug in driver with --debug-pd when, unluckily, the last domain had by chance zero atoms (cherry picked from commit d669afb2)
