Higher-order lazy functional slicing - F. Rodrigues, Nuno (2007)