Fix branch max on calls during ACT#329

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

trail-of-forks:ian/fix-call-branching-counttrail-of-forks/Gillian:ian/fix-call-branching-countCopy head branch name to clipboard