Function balance_reentry_lock 

fn balance_reentry_lock<'hir>(
    gcx: Gcx<'hir>,
    hir: &'hir Hir<'hir>,
    entry: &'hir Function<'hir>,
) -> Option<VariableId>