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