[ 0:00] --symbolic --sequential
[ 0:00] compiling /home/xrockai/src/divine/nightly/test/svcomp/recursion/Fibonacci01_true.c