Enable regression tests of k-induction instrumentation#5938

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:k-induction-teststautschnig/cbmc:k-induction-testsCopy head branch name to clipboard