Understanding program slices - Hajnal Ákos (2012)