Do not sort operands as part of simplification [blocks: #3486]#1997

tautschnig merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:no-sort-operandstautschnig/cbmc:no-sort-operandsCopy head branch name to clipboard