Added singularity check method as virtual in VSA#830

peterschrammel merged 1 commit intodiffblue:security-scanner-supportdiffblue/cbmc:security-scanner-supportfrom

mariusmc92:cleanup/move-singularity-in-vsamariusmc92/cbmc:cleanup/move-singularity-in-vsaCopy head branch name to clipboard