Revert "Make more member function static in unified_difft"#1556

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

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