Function walk_stmt_for_bool 

fn walk_stmt_for_bool(s: &Stmt, ctx: &mut WalkCtx<'_>)