let inter i j =
  Trace.call "i" "Inter" (i, j)  (Pretty.pair pp pp);
  let k = inter i j in
    Trace.exit "i" "Inter" k pp;
    k