Checking whether using instructions with labels pointing to text segment