Make some sets in VariableClassificationBuilder
local variables instead of fields,
because they are needed only at one point in time
and not for the full time of the building process.

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