I presented an invited talk at Sheffield Causality and Testing Workshop on “Causal Program Dependence Analysis”.