Get legalistic about use of virtual with override#2055

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

NathanJPhillips:documentation/overrideNathanJPhillips/cbmc:documentation/overrideCopy head branch name to clipboard