Goto crossing scopes: fix scope tree entry of conditions#8187

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/no-spurious-loopstautschnig/cbmc:bugfixes/no-spurious-loopsCopy head branch name to clipboard