The Probabilistic Program Dependence Graph and Its Application to Fault Diagnosis