Predicate DeadStoreOfLocal::excludedInit

predicate excludedInit(Type t, Expr decl)