(source [0, 0] - [0, 5]
  (bool_lit [0, 0] - [0, 5]))
