let is_point { ints = l; expl = e } = match l with | [Large (v1, e1) , Large (v2, e2)] when v1 =/ v2 -> Some (v1, Ex.union e2 (Ex.union e1 e)) | _ -> None