Translating un-aliased scalar globals to scalar variables.
Fixed floating point comparison declarations.
Fixed a compilation problem related to included headers.
Switched to a newer version of boogie, corral, and Z3. Corral now implements static inlining.
Merge branch 'develop' into svcomp2015