Make more member function static in unified_difft#1554

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

janmroczkowski:janmroczkowski/more-static-member-functions-in-unified_difftjanmroczkowski/cbmc:janmroczkowski/more-static-member-functions-in-unified_difftCopy head branch name to clipboard