Extended woodpecker with const-assignment analysis.
Added new function getStartEState for transition graph with multiple start transitions. Adapted LTLChecker to use new function.
Hack true and false into the LTL.
Hack true and false into the LTL.
Merge branch 'master' of github.com:adrian-prantl/priv-rose-codethorn
Get rid of the start node.
	../../../../projects/CodeThorn/src/tests/rers/test.ltl
Merge pull request #3 from adrian-prantl/master

update!
FIX: semanticFusionOfInInTransitions: changed remapping of edges.
Added new functions for integer lattice, and data structures in preparation for variable elimination.
Merge branch 'master' of github.com:mschordan/priv-rose-codethorn into schordan1/codethorn
Finalized single-value dead variable elimination.
FIX: semanticFusionOfInInTransitions: changed remapping of edges.
Added new functions for integer lattice, and data structures in preparation for variable elimination.
Finalized single-value dead variable elimination.
Several bugfixes for orphaned node handling
Updated assert detection in SgNodeHelper. Extended dead code elimination.
Finalized output of reachability results for woodpecker.
Extended CT to output csv-assert for semantic-fold=yes as well.
fix a bug with lexing true and false
Use the neutral element instead of Bot when combining with successor states