Fix: Assign Java values of statements with previously missing informations in strengthening phase of Value Analysis not only if the newly known value is numerical, but always (as long as it could be resolved).


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