Ensure that the computed interference intervals actually overlap their basic blocks.