Function walk_block_for_bool 

fn walk_block_for_bool(b: &Block, ctx: &mut WalkCtx<'_>)