          
L0: Is D3 = C? (yes=L1)
  L1: Is D1 = D? (yes=L4)
    L4: 0 happens  1  times.
  L1: Is D1 = A? (yes=L5)
    L5: 1 happens  4  times.
  L1: Is D1 = C? (yes=L6)
    L6: 1 happens  1  times.
L0: Is D3 = A? (yes=L2)
  L2: Is D1 = C? (yes=L7)
    L7: 0 happens  4  times.
  L2: Is D1 = D? (yes=L8)
    L8: Is D2 = D? (yes=L10)
      L10: Is D4 = D? (yes=L12)
        L12: 0 happens  1  times.
      L10: Is D4 = A? (yes=L13)
        L13: 1 happens  1  times.
    L8: Is D2 = A? (yes=L11)
      L11: 0 happens  1  times.
  L2: Is D1 = A? (yes=L9)
    L9: 0 happens  2  times.
L0: Is D3 = B? (yes=L3)
  L3: 0 happens  1  times.
