Absint.NullsafeMode
type t =
| Default
| Local
| Strict
val of_java_procname : IR.Tenv.t -> IR.Procname.Java.t -> t