Fixing bugs in get var type to generate map list

Signed-off-by: Herbert <herberthb12@gmail.com>
Fixed bug related to get type of C structure

Signed-off-by: Herbert Rocha <herberthb12@gmail.com>
Fixed Bug related to track of line number to original code when is to analyze memory leak

Signed-off-by: Herbert Rocha <herberthb12@gmail.com>
Updated the rules to print the graphml when we have the tokens "--" in the variable values

Signed-off-by: Herbert Rocha <herberthb12@gmail.com>
Fixed Bug in witness/example0.c << colateral efect from last changes (points2leak)

Signed-off-by: Herbert <herberthb12@gmail.com>