Bugfix: during the initialization of the reachedSet with the "program sinks" only those nodes should be added, that are part of the cfa (this is not true for all function exit nodes).

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