Define and use an expr_skeletont class#4841

romainbrenguier merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:refactor/expr_skeletonromainbrenguier/cbmc:refactor/expr_skeletonCopy head branch name to clipboard