intra-function-clause backward slicing; still a prototype.