Not only the FileLocations of the AstNodes of an edge should be collected, but also the FileLocation of the edge itself in case it is not covered by the former.

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