Do not unnecessarily sort guard conjuncts [blocks: #3486]#1998

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:no-sort-guardstautschnig/cbmc:no-sort-guardsCopy head branch name to clipboard