goto-symex: apply_condition should not change L2 index#6993

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/no-spurious-assignmentstautschnig/cbmc:cleanup/no-spurious-assignmentsCopy head branch name to clipboard