Verified that a block statement wrapping a for loop covers us