Predicate UninitializedLocal::declWithNoInit

A declaration of a local variable that leaves the variable uninitialized.

DeclStmt declWithNoInit(LocalVariable v)