44   nodeId: number;  property
154       for (const [nodeId, scriptOffset] of Object.entries<number>(map)) {  constant
155         alternativeMap[nodeId] = { scriptOffset: scriptOffset, inliningId: -1 };
160     for (const [nodeId, sourcePosition] of Object.entries<SourcePosition>(map)) {  constant
162         console.log("Warning: undefined source position ", sourcePosition, " for nodeId ", nodeId);
170       this.nodePositionMap[nodeId] = sourcePosition;
175       this.positionToNodes.get(key).push(nodeId);
189       for (const nodeId of nodeIdsForPosition) {  constant
190         nodeIds.add(nodeId);
198     for (const nodeId of nodeIds) {  constant
199       let sp = this.nodePositionMap[nodeId];
316     for (const [nodeId, range] of Object.entries<[number, number]>(nodeIdToInstructionRange)) {  constant
317       this.nodeIdToInstructionRange[nodeId] = range;
327   getInstruction(nodeId):[number, number] {
328     const X = this.nodeIdToInstructionRange[nodeId];  constant
364           for (const [nodeId, range] of this.nodeIdToInstructionRange.entries()) {  constant
368               nodes.push("" + nodeId);
371               nodes.push("" + nodeId);