Add tests for local variable live ranges with holes#442

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

smowton:add_lvt_testssmowton/cbmc:add_lvt_testsCopy head branch name to clipboard