Fixed a crash related to function pointers of vararg functions. Basically, in that case we weren't generating declarations of their respective global variables representing pointers.
Merge branch 'develop' into svcomp2015