Factor out property decider utilities#4362

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:property-decider-utilitiespeterschrammel/cbmc:property-decider-utilitiesCopy head branch name to clipboard