FIXED: "Whole of node_a contained in node_b" not truncating node_b correctly.
Add inst->node_end at the truncation point.