let set_all_rte pmap =
    List.fold_left
      (fun acc name -> Datatype.String.Map.add name true acc)
      pmap
      [ DoSignedOverflow.name ;
        DoMemAccess.name ;
        DoDivMod.name ;
        DoDownCast.name ]