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