Fault localization using execution slices and dataflow tests | Synapse