predator-regre: add missing prototypes of __VERIFIER_nondet_int()

It looks quite messy now, but we avoided the skew of line numbers, which
would require to rediff all the patches for compatibility with old GCCs.

Reported by Jan Pokorný.
sl/symstate: make the SE_JOIN_ON_LOOP_EDGES_ONLY option more generic
sl/symexec: SE_STATE_PRUNING_MODE - experimental optimisation
sl/symheap: split more the responsibility of core/abstract provers
sl/symheap: redesign the abstract prover from scratch
sl/symheap: avoid assertion failure on test-041{0,3,7}
Merge branch 'master' of https://github.com/jsimacek/forester

+ 10783a7 compiler.cc: FORMATING
+ 14a817d compiler: add a few comments
+ f62cc14 compiler: add a few comments
+ 34fd478 compiler: add a few function comments
+ 90ed5f9 compiler: FORMATING + add a few comments
+ c71206a compiler: FORMATING - remove useless "this->" everywhere
+ 6bbcc4c compiler: make the code a little nicer
+ 14eae2d compiler: add a few comments
+ 51f7e06 compiler: FORMATING
+ f6bd6e5 compiler: documentation
+ 72364aa symctx: add the VarInfo class
+ c182472 compiler: add some dox
+ 0046440 compiler: add some documentation
+ 7348cc6 microcode: add doc of FI_node_create::execute()
+ 0508eed compiler: add doc for compileAssignment()
+ 783f15a microcode: improve doc for FI_alloc
+ 24803dd compiler: improve doc for compileTruthNot
+ 1628116 compiler: improve doc for compileMalloc
+ 77fc8f5 compiler: improve doc for compileFree
+ 6639af2 compiler: improve doc for compileCmp
+ 316af6e compiler: improved doc for compilePlus and compilePointerPlus
+ 6a32795 compiler: fix a few typos
+ abe7030 fixpoint.cc: add compile time option to enable/disable fusion...
+ 056598d compiler: add doc for compileJmp
+ 27851ad compiler.cc: add doc for compileCallInternal
+ f78848c compiler.cc: add doc for compileRet
+ 4d7fe01 compiler: add doc for compileCall
+ 82de8ac compiler: add doc for compileCond
+ a390e51 compiler: add doc for compileNondet
+ a613295 compiler: general fix of doc
+ ecb9e43 compiler: add doc for compileInstruction
+ 7905acf compiler: add doc for compileBlock
+ 3aa72ef compiler: add doc for compileFunction
+ a862f4a tests: update test error messages according to the new source
+ aec1e2a fa/CMakeLists.txt: do not generate intermediate code at tests
+ 536f4f8 forester flavor of register-paths.sh
+ 9be459f README: add some information about forester
+ e3a588f README for forester test cases
+ ad5e15d fa/fixpoint.cc: add compile time option to enable/disable folding
fa/tests: do not assume fixed var UIDs coming from GCC
sl/TODO: append some low-priority items
sl/symexec: make the DEBUG_SE_NONDET_COND option more useful
sl/symproc: adopt the valMerge() method from SymHeap
sl/symheap: adopt spliceOutAbstractPath() from symabstract
sl/symproc: extend the API of reflectCmpResult()

... so that it can break one symbolic heap into many
sl/symproc: extend the API of spliceOutAbstractPath()

... so that it can break one symbolic heap into many
sl/symproc: extend the API of spliceOutAbstractPathCore()
sl/symproc: spliceOutMulti() - splice out exactly two segments [experimental]
sl/symproc: cleanup after the recent random changes
Changed the final message about the generated configurations
sl/symproc: avoid destroying a pointed variable in killVar()

In that case, it appears more wise to just invalidate its contents.
connection_graph: fix compiler error