Add `at` method to `template_numberingt`#1692

smowton merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

NathanJPhillips:feature/numbering-atNathanJPhillips/cbmc:feature/numbering-atCopy head branch name to clipboard