Use liveness info in Dcheck.  Now, we have to initialize locals only if they are live at the start of a function.  It is usually an error if a pointer variable needs initialization.
Use liveness info in Dcheck.  Now, we have to initialize locals only
if they are live at the start of a function.  It is usually an error
if a pointer variable needs initialization.

Also, we don't include dead variables in checkSetEnv.  This fixes
small/local1.  It is no longer necessary to zero a local before
assigning its metavariables.  This fixes small/local14.

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c