Symex slicing: fixes and cleanup#6728

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/slice-formulatautschnig/cbmc:bugfixes/slice-formulaCopy head branch name to clipboard