}
public void push(IRegion region) {
stack.push(curState);
if (stack.size() > REGIONS_STACK_LIMIT) {
throw new JadxOverflowException("Regions stack size limit reached");
}
curState = curState.copy();
curState.region = region;
if (DEBUG) {
LOG.debug("Stack push: {}: {}", size(), curState);