Update BasicBlocks to maintain an isEssential flag for every expression in the block