// Prune away EntryPoints that cannot reach an assertion
static void PruneRedundantEntryPoints(Program program)
{
var procs = BoogieUtil.procsThatMaySatisfyPredicate(program, cmd => (cmd is AssertCmd && !BoogieUtil.isAssertTrue(cmd)));
procs = harnessInstrumentation.entrypoints.Difference(procs);
Console.WriteLine("Pruning away {0} entry points as they cannot reach an assert", procs.Count);
harnessInstrumentation.PruneEntryPoints(program, procs);
}
