let pair a b = Pair (AF.get_file a, AF.get_file b) |> AF.with_provenance "pair" ["left", AF.get_provenance a; "right", AF.get_provenance b]