Propagation of prevStmt and targetStmt such that we can reconstruct the path