Factor nondet choices in object factory#863

smowton wants to merge 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

smowton:refactor/nondet_boolsmowton/cbmc:refactor/nondet_boolCopy head branch name to clipboard