cond a children of BlockInst