Remove memory locations with unknown values from the state in Value Analysis of C programs.

This fixes a bug introduced in r14438.




git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14455 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c