Description:
------------
During code coverage using PHPDBG, some lines of code are executed but are not reported covered.

Test script:
---------------
↪  phpdbg -qrr coverage.php 

<?php

phpdbg_start_oplog();

$a = [
    'foo' => 0,
    'bar' => true,
];

switch (true) {
    case false:
        echo 'here';
        break;
}

var_dump(phpdbg_get_executable());

Expected result:
----------------
array(1) {
  '/home/morozov/coverage.php' =>
  array(6) {
    [3] =>
    int(0)
    [6] =>
    int(0)
    [7] =>
    int(0)
    [10] =>
    int(0)
    [11] =>
    int(0)
    [12] =>
    int(0)
    [13] =>
    int(0)
    [16] =>
    int(0)
  }
}


Actual result:
--------------
array(1) {
  '/home/morozov/coverage.php' =>
  array(6) {
    [3] =>
    int(0)
    [6] =>
    int(0)
    [11] =>
    int(0)
    [12] =>
    int(0)
    [13] =>
    int(0)
    [16] =>
    int(0)
  }
}

Lines 7 and 10 are not reported as covered.