Checkers.NullabilityPreanalysis
val analysis : IR.Cfg.t -> IR.Tenv.t -> unit
Analysis the cfg and updates the tenv with nullability annotations