Fix for callgraphs used in ACT when using already compiled mode#330

2over12 wants to merge 1 commit intoGillianPlatform:masterGillianPlatform/Gillian:masterfrom

trail-of-forks:ian/fix-callgraphtrail-of-forks/Gillian:ian/fix-callgraphCopy head branch name to clipboard