Add documentation for object numbering#2774

peterschrammel merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/docs/object-numberingsmowton/cbmc:smowton/docs/object-numberingCopy head branch name to clipboard