Port #1674 to develop (Fix a problem with functions with the same name crashing the dependency graph.)#1677

Merged

martin-cs merged 2 commits intodiffblue:developfrom

NlightNFotis:pb4_develop

Jan 10, 2018

Commits on Dec 20, 2017

Fix the problem where two static functions with the same name would cause the dependency graph to fail.
NlightNFotis
committed
Add a test for the same-named static functions crashing dependence graph in the goto-analyser
NlightNFotis
committed