Revert "Value-set analysis: templatise and virtualise to facilitate customisation"#1486

smowton merged 1 commit intodevelopdiffblue/cbmc:developfrom

revert-1413-smowton/feature/prepare_vsa_for_subclassesdiffblue/cbmc:revert-1413-smowton/feature/prepare_vsa_for_subclassesCopy head branch name to clipboard