let is_complementable i = 
  match i.lo, i.hi with
    | Some _, Some _ -> false
    | _ -> true