Does this test contain every case? *No cycles - Overlap *No cycles - No overlap *One cycle - No overlap (vacuous) *Two cycles - Overlap before cycle starts *Two cycles - Overlap inside cycle *Two cycles - No overlap