let translate_marks_to_prop pdg new_marks
?(in_m2m=fun _ _ _ m -> Some m)
?(out_m2m=fun _ _ _ m -> Some m)
other_rqs =
let in_marks, out_marks = new_marks in
let other_rqs = translate_in_marks pdg in_marks ~m2m:in_m2m other_rqs in
let rqs =
List.fold_left (translate_out_mark pdg out_m2m) other_rqs out_marks
in rqs