Update coding standard to reflect changes in #1919#1934

NathanJPhillips wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

NathanJPhillips:patch-1NathanJPhillips/cbmc:patch-1Copy head branch name to clipboard