C expression debugging.
Updated corral version.
Merge branch 'develop' into svcomp2015