For Java variables, use qualified names of the form <methodName>::<varName> and
use concrete values for function call/return instead of UnknownValue, as this is now possible.

The old name form <className>_<methodName>::<varName> included the className twice,
as the method name already includes the class name.
In addition, the qualified name equals now the format expected by ValueAnalysisState.MemoryLocation.valueOf(String, String, long)



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