Branchend W-bound

مقادیر برنامه‌ریزی شده، مورد انتظار و مشاهده شده به طور جداگانه باقی می‌مانند. مشاهدات خالی هرگز به‌عنوان به‌موقع ارائه نمی‌شوند.