(source [0, 0] - [1, 0]
  (short_fn_lit [0, 0] - [0, 2]
    (num_lit [0, 1] - [0, 2])))
