Predicate DeadCodeCondition::addressLeak

predicate addressLeak(Variable v, Stmt leak)