Module Checkers__NullabilityPreanalysis

Module that define preanalysis to derive nullability annotations

val analysis : IR.Cfg.t -> IR.Tenv.t -> unit

Analysis the cfg and updates the tenv with nullability annotations