Abstract program slicing on dependence condition graphs