* small refactoring of branch continuation checking * frames are truncated to the frame of the label declared before the label to be captured to improve memoization
* small refactoring of branch continuation checking
* frames are truncated to the frame of the label declared before the label to be captured to improve memoization

duangle/bangra,duangle/bangra,duangle/bangra,duangle/bangra