Inline all function calls when checking summaries

Back to use CPA-1.2.11-svcomp14b

Simple exception handling for external analyzer