Add belief propagation to non deterministic exclude.