Fixed show-call-sequences feature of goto instrument; added test suite#1217

tautschnig merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

KPouliasis:show_functions_dfsKPouliasis/cbmc:show_functions_dfsCopy head branch name to clipboard