{ x14 = x5 + x6,
  x15 = x8 + x9,
  x16 = x2 + x3 }