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 ]