Function null_pointer_analysis_ty 

pub fn null_pointer_analysis_ty() -> Expr

NullPointerAnalysis : Program → Var → ThreeValued Three-valued result: definitely null / definitely non-null / maybe null.