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