BMC: exit early if there is no supported property#1198

kroening merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

unsupported1diffblue/hw-cbmc:unsupported1Copy head branch name to clipboard