let is_disjoint i j =
  Trace.call "foo" "is_disjoint" (i, j) (Pretty.pair pp pp);
  let res = is_disjoint i j in
    Trace.exit "foo" "is_disjoint" res Pretty.bool;
    res