Ensure result of to_predicates is deterministic#6296

martin-cs merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:canonical_predicate_stringtautschnig/cbmc:canonical_predicate_stringCopy head branch name to clipboard