prototype of backward slicing algorithm

Signed-off-by: Tim Henderson <tim.tadh@gmail.com>