Removed some legacy code that handled the initialization of global variables that were not explicitly initialized in the original code. The cfa edges should already contain the implicit initializer where appropriate.

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