Generalize RTL normalization checker
This MR generalizes the RTL normalization checker.
The entry point of the initial function is not necessarily reached after just a single goto. On CFG where the entry point is a junction point, there will be a tunnel of 2 gotos from the entry point of the normalized function and the entry point of the initial function.
Closes #1 (closed)