the next graph node that executes unconditionally after the given stmt, or end node if no statement is executed
The next stmt that executes unconditionally after the given stmt, of undefined if no statement is executed