In case of a backwards analysis, the entry location is always the target
location of the analysis (we assume that automatons were used to 
compute the initial states of the analysisis in forward direction). 
We discuss this approach based on this first version.



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