void (PsiElement exitedStatement) { if (exitedStatement != null && PsiTreeUtil.isAncestor(myCodeFragment, exitedStatement, false)) { controlTransfer(createTransfer(exitedStatement, exitedStatement), myTrapTracker.getTrapsInsideElement(exitedStatement)); } else { // Jumping out of analyzed code fragment controlTransfer(DfaControlTransferValue.RETURN_TRANSFER, myTrapTracker.getTrapsInsideElement(myCodeFragment)); } }