G | |
| GoBackward [Types] |
Do we have to go back in the past to start again a branch with more anticipation of a jump
|
R | |
| ReturnRaised [Types] |
A return/ret instruction has been encountered and the function/block of statements is returned with the abstract domain of the value returned, the context and the memory stack associated
|