assert conditionalBlockNode != null;
populateLabelMap(labelMap, conditionalBlockNode);
}
else if (ifNodeChild instanceof TerminalNode)
{
TerminalNode terminalNode = (TerminalNode) ifNodeChild;
IASNode terminalBlockNode = terminalNode.getContentsNode();
assert terminalBlockNode != null;
populateLabelMap(labelMap, terminalBlockNode);
}
}
}