Now that basic blocks are eagerly inserted into the Function, we can use